scientific article; zbMATH DE number 2090088

zbMATH Open1045.68593MaRDI QIDQ4808763FDOQ4808763

Authors: Sylvain Lippi 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780380.htm

Title of this publication is not available (Why is that?)

Recommendations

• Towards a programming language for interaction nets
• Compilation of interaction nets
• Interaction Net Implementation of Additive and Multiplicative Structures
• scientific article; zbMATH DE number 1487844
• YALE: yet another lambda evaluator based on interaction nets

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (13)

• Interaction automata and the ia2d interpreter
• The graphical Krivine machine
• Towards a programming language for interaction nets
• An implementation model for interaction nets
• Strategic port graph rewriting: an interactive modelling framework
• Recursive Functions with Pattern Matching in Interaction Nets
• From functional programs to interaction nets via the rewriting calculus
• The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
• A simple parallel implementation of interaction nets in Haskell
• In-place graph rewriting with interaction nets
• Hard combinators
• Interaction nets with nested pattern matching
• Compilation of interaction nets

This page was built for publication:

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