The spineless tagless G-machine, naturally
From MaRDI portal
Publication:5234266
DOI10.1145/289423.289439zbMath1428.68109OpenAlexW2014762286MaRDI QIDQ5234266
Publication date: 26 September 2019
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
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: The spineless tagless G-machine, naturally
