Generating action compilers by partial evaluation (1996)

by Anders Bondorf, Jens Palsberg
Venue:Journal of Functional Programming