Interaction Nets With Nested Pattern Matching

DOI10.1016/J.ENTCS.2008.03.035zbMath1279.68055OpenAlexW2034297217MaRDI QIDQ2870316

Shinya Sato, Abubakar Hassan

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)

Uses Software

• MPINE

Cites Work

• YALE
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interaction Nets With Nested Pattern Matching