May 4, 2023 · This paper remedies this situation by giving a uniform type system for all the four control operators. Following Danvy and Filinski's approach, ...

Dec 1, 2022 · Based on the monomorphic type system by Danvy and Filinski, the proposed type system allows pure expressions to be polymorphic. Thanks to the ...

May 4, 2023 · By implementing the typed CPS inter- preter in Agda, we show that the CPS translation preserves types and that the calculus with all the four ...

The repository provides the Agda implementation of the paper "Type system for four delimited control operators" presented in GPCE 2022 - 21st International ...

This supplementary material formalizes the underlying CPS interpreter and the type system proposed in the paper “Type System for Four Delimited Control ...

May 2, 2012 · This shows that the cupto system is expressive enough to support exceptions despite its type system limitations. In practice, there are probably ...

Abstract. This paper derives an abstract machine and a virtual machine for the λ-calculus with four variants of delimited-control operators: shift/reset, ...

Type System for Four Delimited Control Operators · Chiaki IshioK. Asai. Computer Science. GPCE. 2022. TLDR. This paper derives a monomorphic type system from ...

We use these ideas to build a type system for delimited continuations. It lets control operators change the answer type or act beyond the nearest.

The salient feature of delimited-control operators is their ability to modify answer types during computation. The feature, answer-type modification (ATM for ...