Towards a programming language for interaction nets

MaRDI QIDQ2848123zbMATH OpenFDO

Authors Ian Mackie

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050176

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1487844
• Compilation of interaction nets
• Interaction Net Implementation of Additive and Multiplicative Structures
• scientific article; zbMATH DE number 2090088
• An explicit framework for interaction nets

Cited in

(13)

• Are there interactive protocols for co-NP languages?
• Interaction nets and term-rewriting systems
• scientific article; zbMATH DE number 1670572 (Why is no real title available?)
• Macros for interaction nets: a conservative extension of interaction nets
• A calculus for interaction nets based on the linear chemical abstract machine
• scientific article; zbMATH DE number 2080579 (Why is no real title available?)
• On context semantics and interaction nets
• scientific article; zbMATH DE number 2090088 (Why is no real title available?)
• scientific article; zbMATH DE number 860037 (Why is no real title available?)
• scientific article; zbMATH DE number 860038 (Why is no real title available?)
• A simple parallel implementation of interaction nets in Haskell
• Compilation of interaction nets
• Interfaces between languages for communicating systems

This page was built for publication: Towards a programming language for interaction nets

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