Lennart Augustsson A Compiler for Lazy ML. 218-227 1984 LISP and Functional Programming db/conf/lfp/lfp1984.html#Augustsson84