A type-theoretic foundation of delimited continuations
type: Item
instance of: scholarly article
title: A type-theoretic foundation of delimited continuations
zbMATH Open document ID: 1213.68187
author: Zena M. Ariola
author: Hugo Herbelin
author: Amr Sabry
published in: Higher-Order and Symbolic Computation
publication date: 2010-05-05T00:00:00Z
full work available at URL: hosc-AriHerSab07-delim-cont.pdf
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5703915
zbMATH Keywords: callcc
zbMATH Keywords: monad
zbMATH Keywords: prompt
zbMATH Keywords: reset
zbMATH Keywords: shift
zbMATH Keywords: subcontinuation
zbMATH Keywords: subtraction
MaRDI profile type: Publication
OpenAlex ID: W2128246210
cites work: Q4449226
cites work: Control reduction theories: the benefit of structural substitution
cites work: A type-theoretic foundation of continuations and prompts
cites work: Q4281464
cites work: Subtractive logic
cites work: A Formulae-as-Types Interpretation of Subtractive Logic
cites work: The duality of computation
cites work: \(\lambda\mu\)-calculus and Böhm's theorem
cites work: A monadic framework for delimited continuations
cites work: Q4038658
cites work: The revised report on the syntactic theories of sequential control and state
cites work: A syntactic theory of sequential control
cites work: Q3738543
cites work: Obtaining coroutines with continuations
cites work: Explicit substitutions and reducibility
cites work: Sound and complete axiomatisations of call-by-value control operators
cites work: Q4536444
cites work: A sound and complete axiomatization of delimited continuations
cites work: Unchecked exceptions can be strictly more powerful than call/cc
cites work: Q3202991
cites work: A syntactic theory of dynamic binding
cites work: Q4255509
cites work: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
cites work: Q4518889
cites work: Comparing control constructs by double-barrelled CPS
DOI: 10.1007/S10990-007-9006-0
description: scientific article; zbMATH DE number 5703915