Lazy Imperative Programming (1993)

by John Launchbury
Venue:Yale University