Résumé
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.
| langue originale | Anglais |
|---|---|
| Pages (de - à) | 133-151 |
| Nombre de pages | 19 |
| journal | Electronic Notes in Theoretical Computer Science |
| Volume | 127 |
| Numéro de publication | 5 |
| Les DOIs | |
| état | Publié - 27 mai 2005 |
| Modification externe | Oui |
| Evénement | Proceedings of the 2nd International Workshop on Term Graph Rewriting - Durée: 2 oct. 2004 → 2 oct. 2004 |
Empreinte digitale
Examiner les sujets de recherche de « Towards a programming language for interaction nets ». Ensemble, ils forment une empreinte digitale unique.Contient cette citation
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver