Publication details

Saarland University Computer Science

Effectful Computation in Moggi's Calculus with Records and Subtyping

Dieter Brunotte

Bachelor's Thesis, Saarland University, 2006

Many theoretical results about programming languages are stated for effect-free lambda calculus only, or add effects (such as I/O and state) in an ad-hoc manner. With his computational monads, Moggi presented an abstract framework that fits a wide range of computational effects. Some languages, notably ob ject-oriented ones, feature subtyping in addition to effects.
In my Bachelor thesis I present an extension of Moggiís computational monads with subtyping. As an application of the theory we show that Abadi and Cardelliís imperative ob ject calculus can be embedded into our system, in a way that ensures type safety.

Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009