Monadic state: Axiomatization and type safety (1995)

by State in Haskell
Venue:Lisp and Symbolic Computation