J. Launchbury and S.L. Peyton Jones, "State in Haskell" pp293-341

(1995)

(1995) LISP and Symbolic Computation, 8(4) 1995  

Languages mentioned