Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 133-151 |
| Number of pages | 19 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 127 |
| Issue number | 5 |
| DOIs | |
| Publication status | Published - 27 May 2005 |
| Externally published | Yes |
| Event | Proceedings of the 2nd International Workshop on Term Graph Rewriting - Duration: 2 Oct 2004 → 2 Oct 2004 |
Keywords
- Interaction nets
- Programming language design
Fingerprint
Dive into the research topics of 'Towards a programming language for interaction nets'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver