The Chalmers lazy-ML compiler (1989)

by L Augustsson, T Johnsson
Venue:The Computer Journal