Transformations on higher-order functions (1989)

by H R Nielson, F Nielson
Venue:In Proc. of the 4th Internat. Conf. on Functional Programming Languages and Computer Architecture (FPCA '89