Compiling actions by partial evaluation (1993)

by Anders Bondorf, Jens Palsberg
Venue:Proceedings of the Sixth ACM Conference on Functional Programming and Computer Architecture