Recursive Functions with Pattern Matching in Interaction Nets
From MaRDI portal
Publication:5170281
DOI10.1016/j.entcs.2009.10.017zbMath1291.68119MaRDI QIDQ5170281
No author found.
Publication date: 23 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.10.017
Related Items
Uses Software
Cites Work
- LCF considered as a programming language
- Combinatory reduction systems: Introduction and survey
- Interaction nets and term-rewriting systems
- A typed pattern calculus
- From Functional Programs to Interaction Nets via the Rewriting Calculus
- Token-passing Nets for Functional Languages
- The bologna optimal higher-order machine
- YALE
- Programming Languages and Systems
- Rewriting Techniques and Applications
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item