A positive supercompiler (1996)

by M H Srensen, R Gluck, N D Jones
Venue:Journal of Functional Programming