Compilation of interaction nets

DOI10.1016/J.ENTCS.2009.10.018zbMATH Open1291.68103OpenAlexW2018500052MaRDI QIDQ5170282FDOQ5170282

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• YALE: yet another lambda evaluator based on interaction nets
• Title not available (Why is that?)

Cited In (7)

• Compiling process networks to interaction nets
• Title not available (Why is that?)
• Towards a programming language for interaction nets
• Title not available (Why is that?)
• An implementation model for interaction nets
• Title not available (Why is that?)
• A simple parallel implementation of interaction nets in Haskell

Uses Software

• wamcc
• Pict
• MPINE

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)