A type system for effect handlers and dynamic labels

DOI10.1007/978-3-031-30044-8_9zbMATH Open1541.68083MaRDI QIDQ6535238

Paulo Emílio de Vilhena, François Pottier

Publication date: 24 November 2023

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Programming with algebraic effects and handlers
• Type inference for record concatenation and multiple inheritance
• Type inference for polymorphic references
• A syntactic approach to type soundness
• Types and programing languages
• A step-indexed model of substructural state
• Handlers of Algebraic Effects
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic
• A Selective CPS Transformation
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Handlers in action
• Functional and Logic Programming
• Interactive proofs in higher-order concurrent separation logic
• A relational model of types-and-effects in higher-order concurrent separation logic
• Type directed compilation of row-typed algebraic effects
• No value restriction is needed for algebraic effects and handlers
• An Effect System for Algebraic Effects and Handlers
• Automated Deduction – CADE-19
• Shallow effect handlers

Related Items (2)

Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

This page was built for publication: A type system for effect handlers and dynamic labels

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