Lifting of operations in modular monadic semanticsTools Jaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham.
AbstractMonads have become a fundamental tool for structuring denotational semantics and programs by abstracting a wide variety of computational features such as sideeffects, input/output, exceptions, continuations and nondeterminism. In this setting, the notion of a monad is equipped with operations that allow programmers to manipulate these computational effects. For example, a monad for sideeffects is equipped with operations for setting and reading the state, and a monad for exceptions is equipped with operations for throwing and handling exceptions.
Actions (Archive Staff Only)
