Lifting of operations in modular monadic semantics

Lifting of operations in modular monadic semantics

Monads have become a fundamental tool for structuring denotational semantics and programs by abstracting a wide variety of computational features such as side-effects, input/output, exceptions, continuations and non-determinism. In this setting, the notion of a monad is equipped with operations that...

Full description

Bibliographic Details
Main Author: Jaskelioff, Mauro Javier
Format: Thesis (University of Nottingham only)
Language:English
Published: 2009
Subjects:
monadic semantics
monads
programming
computers
computer science
Online Access:https://eprints.nottingham.ac.uk/11226/

Similar Items

Similar Items