Coherence of Subsumption

One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 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: Conference
• Year: 1990
• Where: CAAP
• Authors: Pierre-Louis Curien, Giorgio Ghelli
• Keywords: CAAP 1990, Computational Effects, Conversion Functions, Moggi's Computational Metalanguage, Theoretical Computer Science