Correctness of Monadic State: An Imperative Call-by-Need Calculus

Zena Ariola, Amr Sabry
1998 Electronical Notes in Theoretical Computer Science  
The extension of Haskell with a built-in state monad combines mathematical elegance with operational efficiency: Semantically, at the source language level, constructs that act on the state are viewed as functions that pass an explicit store data structure around. Operationally, at the implementation level, constructs that act on the state are viewed as statements whose evaluation has the side-effect of updating the implicit global store in place.
doi:10.1016/s1571-0661(05)80690-5 fatcat:ca6pesadpzdo7gki7rmbtjyh7q