Lazy Functional State Threads (1993)

by John Launchbury, Simon L. Peyton Jones
Venue:PROGRAMMING LANGUAGES DESIGN AND IMPLEMENTATION