Combinators for program generation

DOI10.1017/S0956796899003469zbMath0945.68029OpenAlexW2146369345MaRDI QIDQ4943308

Peter Thiemann

Publication date: 16 March 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796899003469

zbMATH Keywords

functional programming language

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Refined Environment Classifiers ⋮ Shifting the stage ⋮ A static simulation of dynamic delimited control ⋮ Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

This page was built for publication: Combinators for program generation