The next 700 Krivine machines

DOI10.1007/s10990-007-9016-yzbMath1130.68053OpenAlexW2063489810MaRDI QIDQ2464721

Pascal Fradet, Rémi Douence

Publication date: 17 December 2007

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00000940/file/HOSC06.pdf

zbMATH Keywords

Abstract machinesCompilationProgram transformationKrivine machineFunctional language implementations

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An abstract framework for environment machines
• The categorical abstract machine
• Functional back-ends within the lambda-sigma calculus
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• A new implementation technique for applicative languages
• An environment machine for the λμ-calculus
• Classical logic, continuation semantics and abstract machines
• Deriving a lazy abstract machine
• A categorical understanding of environment machines
• The Mechanical Evaluation of Expressions