A positive supercompiler (1996)

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