A Substructural Type System for Delimited Continuations
From MaRDI portal
Publication:3612633
DOI10.1007/978-3-540-73228-0_17zbMath1215.68124MaRDI QIDQ3612633
Oleg Kiselyov, Chung-Chieh Shan
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
68Q55: Semantics in the theory of computing