Compilation of Interaction Nets

AbstractThis paper is about a new implementation technique for interaction nets – a visual programming language based on graph rewriting. We compile interaction nets to C, which offers a robust and efficient implementation, in addition to portability. In the presentation of this work we extend the interaction net programming paradigm to introduce a number of features which make it a practical programming language