Cogen in six lines

DOI10.1145/232627.232647MaRDI QIDQ2817696zbMATH OpenOpenAlexFDO

Authors Peter J. 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

continuationsmulti-level computationpartial evaluation

Mathematics Subject Classification ID

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

Recommendations

• Offline specialisation in Prolog using a hand-written compiler generator
• scientific article; zbMATH DE number 1497829
• Combinators for program generation
• Programming techniques for partial evaluation
• scientific article; zbMATH DE number 2080284

Cited in

(5)

• Tag-free combinators for binding-time polymorphic program generation
• scientific article; zbMATH DE number 2080284 (Why is no real title available?)
• Combinators for program generation
• Synthesizing program generators for embedded software
• Partial evaluation of Maple

This page was built for publication: Cogen in six lines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817696)