O.: Compiling embedded languages (2003)

by C Elliott, S Finne, de Moor
Venue:J. Funct. Program