Monadic State: Axiomatization and Type Safety (1997)

by John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated
Venue:In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97