Article contents
Coherence of subsumption for monadic types
Published online by Cambridge University Press: 01 March 2009
Abstract
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.
- Type
- Theoretical Pearls
- Information
- Copyright
- Copyright © Cambridge University Press 2008
References
- 3
- Cited by
Discussions
No Discussions have been published for this article.