Combinators for program generation (1999)

by Peter Thiemann
Venue:Journal of Functional Programming