June 1993b], "Lazy imperative programming (0)

by J Launchbury
Venue:Yale University