Linear continuation-passing

DOI10.1023/A:1020891112409zbMath1030.68011OpenAlexW2099554648MaRDI QIDQ1870491

Hayo Thielecke, Peter W. O'Hearn, Uday S. Reddy, Josh Berdine

Publication date: 14 May 2003

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020891112409

zbMATH Keywords

continuationsexceptionscoroutinescontinuation-passing style\texttt{call/cc}\texttt{goto}linear typing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (9)

Polarized games ⋮ Continuation-passing C, compiling threads to events through continuations ⋮ Effect handlers via generalised continuations ⋮ On the semantics of parsing actions ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Axioms for control operators in the CPS hierarchy ⋮ Preface to the special volume ⋮ Game semantics and linear CPS interpretation ⋮ Enriching an Effect Calculus with Linear Types

This page was built for publication: Linear continuation-passing