Token-passing nets for functional languages

DOI10.1016/J.ENTCS.2008.03.061MaRDI QIDQ2873684zbMATH OpenOpenAlexFDO

Authors Jorge Sousa Pinto, Miguel Vilaça, José Bacelar Almeida

Publication date 24 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.061

zbMATH Keywords

\(\lambda\)-calculusinteraction netsrecursionreduction strategies

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Token-passing nets: call-by-need for free
• Call-by-need in token-passing nets
• Token-passing optimal reduction with embedded read-back
• Typed Lambda Calculi and Applications
• From functional programs to interaction nets via the rewriting calculus

Cites work

• Call-by-need in token-passing nets
• Closed reduction: explicit substitutions without $\alpha$ -conversion
• Combinatory reduction systems: Introduction and survey
• Encoding left reduction in the λ-calculus with interaction nets
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• Linear logic
• Rewriting Techniques and Applications
• The optimal implementation of functional programming languages
• Token-passing nets: call-by-need for free
• Typed Lambda Calculi and Applications
• YALE: yet another lambda evaluator based on interaction nets

Cited in

(5)

• Token-passing nets: call-by-need for free
• On the permutational power of token passing networks
• scientific article; zbMATH DE number 3911719 (Why is no real title available?)
• Token-passing optimal reduction with embedded read-back
• Recursive Functions with Pattern Matching in Interaction Nets

This page was built for publication: Token-passing nets for functional languages

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