Interaction nets with nested pattern matching

DOI10.1016/J.ENTCS.2008.03.035MaRDI QIDQ2870316zbMATH OpenOpenAlexFDO

Authors Abubakar Hassan, Shinya Sato

Publication date 17 January 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.2008.03.035

zbMATH Keywords

pattern matchingprogramming language designinteraction nets

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Recursive Functions with Pattern Matching in Interaction Nets
• From functional programs to interaction nets via the rewriting calculus
• Macros for interaction nets: a conservative extension of interaction nets
• Extending the interaction nets calculus by generic rules
• An explicit framework for interaction nets

Cites work

• scientific article; zbMATH DE number 1722717 (Why is no real title available?)
• scientific article; zbMATH DE number 2090088 (Why is no real title available?)
• Macros for interaction nets: a conservative extension of interaction nets
• YALE: yet another lambda evaluator based on interaction nets

Cited in

(4)

• scientific article; zbMATH DE number 3883643 (Why is no real title available?)
• Extending the interaction nets calculus by generic rules
• Recursive Functions with Pattern Matching in Interaction Nets
• Macros for interaction nets: a conservative extension of interaction nets

Describes a project that uses

Uses Software

• MPINE

This page was built for publication: Interaction nets with nested pattern matching

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