Lazy ML user's manual Version 0.999.4 (1994)

by Lennart Augustsson, Thomas Johnsson
Venue:Draft, distributed with the Chalmers Lazy ML compiler