Automatic Generation of Very Efficient Programs by Generalized Partial Computation.

Yoshihiko Futamura Zenjiro Konishi Robert Glück Automatic Generation of Very Efficient Programs by Generalized Partial Computation. 183-191 2000 conf/aplas/2000 APLAS db/conf/aplas/aplas2000.html#FutamuraKG00