Publication details

Saarland University Computer Science

Coherence of Subsumption for Monadic Types

Jan Schwinghammer

Journal of Functional Programming 19(2):157-172, March 2009

One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: Subtypings A<:B are interpreted via conversion functions A -> B. This paper shows how to extend the method to languages with computational effects, using Moggi's computational metalanguage.

Download PDF        Show BibTeX               


Login to edit


Legal notice, Privacy policy