YALE: yet another lambda evaluator based on interaction nets

DOI10.1145/289423.289434MaRDI QIDQ5348892zbMATH OpenOpenAlexFDO

Authors Ian Mackie

Publication date 21 August 2017

Published in Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/289423.289434

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• YALE: yet another lambda evaluator based on interaction nets
• scientific article; zbMATH DE number 860035
• Rewriting Techniques and Applications
• Interaction Net Implementation of Additive and Multiplicative Structures
• Encoding left reduction in the λ-calculus with interaction nets

Cited in

(32)

• Operational equivalence for interaction nets.
• Interaction nets for linear logic
• Encoding linear logic with interaction combinators
• The graphical Krivine machine
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• An implementation model of the typed -calculus based on linear chemical abstract machine
• Interaction nets with McCarthy's \(\mathsf{amb}\)
• Weak reduction and garbage collection in interaction nets
• Interaction nets vs. the -calculus: introducing bigraphical nets
• From functional programs to interaction nets via the rewriting calculus
• Hard combinators
• Interaction nets with nested pattern matching
• Token-passing nets for functional languages
• Encoding Strategies in the Lambda Calculus with Interaction Nets
• scientific article; zbMATH DE number 4047140 (Why is no real title available?)
• Interaction Systems I: The theory of optimal reductions
• Encoding left reduction in the λ-calculus with interaction nets
• scientific article; zbMATH DE number 2059570 (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?)
• scientific article; zbMATH DE number 860035 (Why is no real title available?)
• An implementation model for interaction nets
• A simple parallel implementation of interaction nets in Haskell
• A type-directed negation elimination
• Token-passing optimal reduction with embedded read-back
• Optimal reductions in interaction systems
• Recursive Functions with Pattern Matching in Interaction Nets
• Compilation of interaction nets
• YALE: yet another lambda evaluator based on interaction nets
• Typed Lambda Calculi and Applications
• Rewriting Techniques and Applications
• An Explicit Framework for Interaction Nets

This page was built for publication: YALE: yet another lambda evaluator based on interaction nets

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