On (denotational semantics of) functional programming with monadic effects and introducing the notion of monad transformers:
David A. Espinosa, ยง3.2 in: Building Interpreters by Transforming Stratified Monads (1994) [pdf, pdf]
David A. Espinosa, Semantic Lego, PhD thesis, Columbia University (1995) [pdf, pdf, slides:pdf, pdf]
Created on September 17, 2023 at 15:49:36. See the history of this page for a list of all contributions to it.