The spineless tagless G-machine, naturally

DOI10.1145/289423.289439zbMath1370.68055OpenAlexW2014762286MaRDI QIDQ5348894

Jon Mountjoy

Publication date: 21 August 2017

Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/289423.289439

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Explaining the lazy Krivine machine using explicit substitution and addresses

This page was built for publication: The spineless tagless G-machine, naturally