Explicit effect subtyping

DOI10.1017/S0956796820000131zbMath1482.68081OpenAlexW3030705729MaRDI QIDQ5120231

Georgios Karachalias, Stien Vanderhallen, Tom Schrijvers, Matija Pretnar, Amr Hany Saleh

Publication date: 9 September 2020

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Sound and complete type inference for closed effect rows

Uses Software

• ML
• Featherweight Java
• Koka
• Eff

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming with algebraic effects and handlers
• Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5--7, 2011. Proceedings
• Type inference with subtypes
• The lambda calculus, its syntax and semantics
• Inheritance as implicit coercion
• A theory of type polymorphism in programming
• Dynamic typing: Syntax and proof theory
• Algebraic operations and generic effects
• Simplifying subtyping constraints: a theory
• Explicit effect subtyping
• Handling Algebraic Effects
• Inferring Algebraic Effects
• Typed compilation of inclusive subtyping
• Disjoint intersection types
• Type checking with open type functions
• Handlers in action
• Type directed compilation of row-typed algebraic effects
• Do be do be do
• Boxy types
• The Principal Type-Scheme of an Object in Combinatory Logic
• An introduction to algebraic effects and handlers (invited tutorial paper)

This page was built for publication: Explicit effect subtyping