Coherence of subsumption for monadic types

DOI10.1017/S0956796808006886MaRDI QIDQ3616445zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Subtyping can have a simple semantics
• scientific article; zbMATH DE number 814795
• Logical relations for coherence of effect subtyping
• Logical relations for coherence of effect subtyping
• Coherence and Transitivity in Coercive Subtyping

Cites work

• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• A monadic analysis of information flow security with mutable state
• A semantics of multiple inheritance
• Coherence of subsumption, minimum typing and type-checking in F ≤
• Higher-order subtyping
• Inheritance as implicit coercion
• Notions of computation and monads
• Subtyping dependent types
• The marriage of effects and monads

Cited in

(7)

• scientific article; zbMATH DE number 4028891 (Why is no real title available?)
• A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
• Logical relations for coherence of effect subtyping
• Logical relations for coherence of effect subtyping
• A Dictionary-Passing Translation of Featherweight Go
• Typed compilation of inclusive subtyping
• Theoretical Computer Science

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3616445)