A type system for effect handlers and dynamic labels
type: Item
instance of: scholarly article
title: A type system for effect handlers and dynamic labels
zbMATH Open document ID: 1541.68083
DOI: 10.1007/978-3-031-30044-8_9
author: Paulo Emílio de Vilhena
author: François Pottier
publication date: 2023-11-24T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7770317
MaRDI profile type: Publication
cites work: A step-indexed model of substructural state
cites work: An Effect System for Algebraic Effects and Handlers
cites work: Programming with algebraic effects and handlers
cites work: Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
cites work: Functional and Logic Programming
cites work: Automated Deduction – CADE-19
cites work: Shallow effect handlers
cites work: Iris from the ground up: A modular foundation for higher-order concurrent separation logic
cites work: Handlers in action
cites work: No value restriction is needed for algebraic effects and handlers
cites work: Interactive proofs in higher-order concurrent separation logic
cites work: A relational model of types-and-effects in higher-order concurrent separation logic
cites work: Q4995164
cites work: Type directed compilation of row-typed algebraic effects
cites work: A Selective CPS Transformation
cites work: Types and programing languages
cites work: Handlers of Algebraic Effects
cites work: Type inference for polymorphic references
cites work: Type inference for record concatenation and multiple inheritance
cites work: A syntactic approach to type soundness
description: scientific article; zbMATH DE number 7770317