The Chalmers Lazy-ML compiler. The computer journal (1989)

by L Augustsson, T Johnsson