Monadic Encapsulation in ML
Abstract
In a programming language with procedures and assignments, it is often important
Related papers
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST POPL 2018
- Monadic encapsulation of effects: a revised approach (extended version) JFP 2001
- Rolling Your Own MADT - A Connection Between Linear Types and Monads POPL 1997
- Taming Effects with Monadic Typing ICFP 1998
- A monadic framework for delimited continuations JFP 2007
- Just do it: simple monadic equational reasoning ICFP 2011
- Mtac: A monad for typed tactic programming in Coq JFP 2015
- Lazy Functional State Threads PLDI 1994