A Functional Abstraction of Typed Invocation Contexts
-
Published:2022-09-15
Issue:
Volume:Volume 18, Issue 3
Page:
-
ISSN:1860-5974
-
Container-title:Logical Methods in Computer Science
-
language:en
-
Short-container-title:
Author:
Cong Youyou,Ishio Chiaki,Honda Kaho,Asai Kenichi
Abstract
In their paper "A Functional Abstraction of Typed Contexts", Danvy and
Filinski show how to derive a monomorphic type system of the shift and reset
operators from a CPS semantics. In this paper, we show how this method scales
to Felleisen's control and prompt operators. Compared to shift and reset,
control and prompt exhibit a more dynamic behavior, in that they can manipulate
a trail of contexts surrounding the invocation of previously captured
continuations. Our key observation is that, by adopting a functional
representation of trails in the CPS semantics, we can derive a type system that
encodes all and only constraints imposed by the CPS semantics.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science