Simplifying explicit subtyping coercions in a polymorphic calculus with effects

DOI10.46298/LMCS-21(4:25)2025MaRDI QIDQ6858427zbMATH OpenFDO

Authors Filip Koprivec, Matija Pretnar

Publication date 13 February 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(4:25)2025

zbMATH Keywords

algebraic effectscomputational effectsdenotational semanticsoptimizing compilationpolymorphic compilationsubtyping

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Algebraic operations and generic effects
• An effect system for algebraic effects and handlers
• An introduction to algebraic effects and handlers (invited tutorial paper)
• Explicit effect subtyping
• Explicit effect subtyping
• Handling algebraic effects
• Inferring algebraic effects
• Koka: programming with row polymorphic effect types
• Modelling environments in call-by-value programming languages.
• Polymorphism, subtyping, and type inference in MLsub
• Simplifying subtyping constraints
• Simplifying subtyping constraints: a theory
• Subtyping constrained types
• Type directed compilation of row-typed algebraic effects
• Type inference with subtypes

This page was built for publication: Simplifying explicit subtyping coercions in a polymorphic calculus with effects

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