Monadic state: Axiomatization and type safety (1997)

by J Launchbury, A Sabry
Venue:In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97