A Substructural Type System for Delimited Continuations

DOI10.1007/978-3-540-73228-0_17zbMath1215.68124OpenAlexW1491716119MaRDI QIDQ3612633

Chung-Chieh Shan, Oleg Kiselyov

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_17

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Understanding algebraic effect handlers via delimited control operators ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Delimited control operators prove double-negation shift ⋮ Unnamed Item ⋮ Lightweight Static Capabilities

This page was built for publication: A Substructural Type System for Delimited Continuations