John Launchbury Simon L. Peyton Jones Lazy Functional State Threads. 24-35 1994 PLDI db/conf/pldi/pldi94.html#LaunchburyJ94