Unchecked exceptions can be strictly more powerful than call/cc
From MaRDI portal
Publication:1302748
DOI10.1023/A:1010020917337zbMath0935.68010MaRDI QIDQ1302748
Publication date: 22 September 1999
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Related Items (3)
No value restriction is needed for algebraic effects and handlers ⋮ A type-theoretic foundation of delimited continuations ⋮ What is the meaning of these constant interruptions?
This page was built for publication: Unchecked exceptions can be strictly more powerful than call/cc
