Towards a Programming Language for Interaction Nets

Mackie, Ian (2005) Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127 (5). pp. 133-151. ISSN 15710661

Full text not available from this repository.


Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both a graphical programming paradigm and as an intermediate language into which we can compile other languages. Whichever way we use interaction nets, a problem remains in that the language is very primitive. Drawing an analogy with functional programming, we have the λ-calculus but we are missing the functional programming language: syntactic sugar, language constructs, data-structures, etc. The purpose of this paper is to make a first step towards defining such a programming language for interaction nets.

Item Type: Article
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 19:30
Last Modified: 07 Jun 2012 10:46
📧 Request an update