2026-07-23T06:23:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4217 2024-03-06T10:34:54Z ddc:004 open_access

Axiomatizing Subtyped Delimited Continuations Materzok, Marek Delimited Continuations Continuation Passing Style Axiomatization We present direct equational axiomatizations of the call-by-value lambda calculus with the control operators shift_0 and reset_0 that generalize Danvy and Filinski's shift and reset in that they allow for abstracting control beyond the top-most delimited continuation. We address an untyped version of the calculus as well as a typed version with effect subtyping. For each of the calculi we present a set of axioms that we prove sound and complete with respect to the corresponding CPS translation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marek Materzok 2013 Is Part Of LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2013.521 urn:nbn:de:0030-drops-42178 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.521 eng https://creativecommons.org/licenses/by/3.0/legalcode