Lazy Functional State Threads.

John Launchbury, Simon L. Peyton Jones

Browse the full PLDI paper archive.