Combinators for program generation (1999)

by P Thiemann
Venue:Journal of Functional Programming