Lazy functional state threads (1994)

by John Launchbury, Simon L Peyton Jones
Venue:In PLDI: Programming Language Design and Implementation. ACM