Modular Monad Transformers
Abstract elided by the publisher.
Related papers
- Monad Transformers and Modular Interpreters POPL 1995
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- Composing monads using coproducts ICFP 2002
- Programming monads operationally with Unimo ICFP 2006
- Formal reasoning about layered monadic interpreters ICFP 2022
- Modular monadic meta-theory ICFP 2013
- Effect Handlers for Programmable Inference Haskell 2023
- Abstract Interpreters: A Monadic Approach to Modular Verification ICFP 2024