Lazy ML User’s Manual, Programming Methodology Group (1987)

by L Augustsson, T Johnsson