Compilation of Interaction Nets

DOI10.1016/J.ENTCS.2009.10.018zbMath1291.68103OpenAlexW2018500052MaRDI QIDQ5170282

Ian Mackie, Abubakar Hassan, Shinya Sato

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.018

zbMATH Keywords

compilationinteraction nets

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Uses Software

• wamcc
• Pict
• MPINE

Cites Work

• YALE
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compilation of Interaction Nets