New Developments in Environment Machines

DOI10.1016/j.entcs.2009.03.035zbMath1294.03020OpenAlexW2149186626MaRDI QIDQ5170161

Nikolaos Siafakas, Maribel Fernández

Publication date: 22 July 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.2009.03.035

zbMATH Keywords

linear logic\(\lambda\)-calculusexplicit substitutionsenvironment machines

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (3)

The Negligible and Yet Subtle Cost of Pattern Matching ⋮ Unnamed Item ⋮ The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An abstract framework for environment machines
• The categorical abstract machine
• Term rewriting for normalization by evaluation.
• Reversible, irreversible and optimal \(\lambda\)-machines
• Lambda-calculus with director strings
• Improving the lazy Krivine machine
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• A compiled implementation of strong reduction
• The Theory of Calculi with Explicit Substitutions Revisited
• Linear explicit substitutions
• Closed reduction: explicit substitutions without $\alpha$ -conversion
• The Mechanical Evaluation of Expressions

This page was built for publication: New Developments in Environment Machines