A strongly-typed self-applicable partial evaluator (1991)

by J Launchbury
Venue:Proc. FPCA 1991, volume 523 of LNCS