Weak reduction and garbage collection in interaction nets

MaRDI QIDQ2844066zbMATH OpenFDO

Authors Jorge Sousa Pinto

Publication date 27 August 2013

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• YALE: yet another lambda evaluator based on interaction nets
• YALE: yet another lambda evaluator based on interaction nets
• Encoding left reduction in the λ-calculus with interaction nets
• scientific article; zbMATH DE number 1512623
• Rewriting Techniques and Applications

Cited in

(4)

• Interaction systems II: The practice of optimal reductions
• The graphical Krivine machine
• Token-passing optimal reduction with embedded read-back
• Shrinking Reductions in SML.NET

This page was built for publication: Weak reduction and garbage collection in interaction nets

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