Coherence of subsumption for monadic types

DOI10.1017/S0956796808006886zbMath1178.68331OpenAlexW2079002885MaRDI QIDQ3616445

Jan Schwinghammer

Publication date: 25 March 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796808006886

zbMATH Keywords

Moggi's computational metalanguage

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Notions of computation and monads
• A semantics of multiple inheritance
• Inheritance as implicit coercion
• Higher-order subtyping
• Coherence of subsumption, minimum typing and type-checking in F ≤
• A monadic analysis of information flow security with mutable state
• The marriage of effects and monads
• Subtyping dependent types

This page was built for publication: Coherence of subsumption for monadic types