Lazy pattern matching in the ML language (1987)

by A Laville
Venue:Proceedings 7th Conference onFoundations of Software Technology and Theoretical Computer Science (FSTTCS'87), Pune, India, LNCS 287