Cogen in six lines

DOI10.1145/232627.232647zbMath1345.68077OpenAlexW2074268752MaRDI QIDQ2817696

Peter Thiemann

Publication date: 1 September 2016

Published in: Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

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

zbMATH Keywords

partial evaluationcontinuationsmulti-level computation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Partial evaluation of Maple

This page was built for publication: Cogen in six lines