O.: Compiling embedded languages (2003)

by C Elliott, S Finne, de Moor
Venue:Journal of Functional Programming