Compilation of interaction nets

DOI10.1016/J.ENTCS.2009.10.018MaRDI QIDQ5170282zbMATH OpenOpenAlexFDO

Authors Abubakar Hassan, Ian Mackie, 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

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

Recommendations

• Towards a programming language for interaction nets
• Interaction Net Implementation of Additive and Multiplicative Structures
• An implementation model for interaction nets
• scientific article; zbMATH DE number 1487844
• Publication:4508308

Cites work

• scientific article; zbMATH DE number 1722717 (Why is no real title available?)
• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• scientific article; zbMATH DE number 1512623 (Why is no real title available?)
• scientific article; zbMATH DE number 2090088 (Why is no real title available?)
• YALE: yet another lambda evaluator based on interaction nets

Cited in

(7)

• Compiling process networks to interaction nets
• scientific article; zbMATH DE number 2043944 (Why is no real title available?)
• Towards a programming language for interaction nets
• scientific article; zbMATH DE number 860037 (Why is no real title available?)
• An implementation model for interaction nets
• scientific article; zbMATH DE number 2090088 (Why is no real title available?)
• A simple parallel implementation of interaction nets in Haskell

Describes a project that uses

Uses Software

• MPINE
• Pict
• wamcc

This page was built for publication: Compilation of interaction nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170282)