A Positive Supercompiler (1996)

by M Sørensen, R Glück, N Jones
Venue:Journal of Functional Programming