Polymorphic Delimited Continuations

13 years 6 months ago
Polymorphic Delimited Continuations
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski, the proposed type system allows pure expressions to be polymorphic. Thanks to the explicit presence of answer types, our type system satisfies various important properties, including strong type soundness, existence of principal types and an inference algorithm, and strong normalization. Relationship to CPS translation as well as extensions to impredicative polymorphism are also discussed. These technical results establish the foundation of polymorphic delimited continuations.
Kenichi Asai, Yukiyoshi Kameyama
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Authors Kenichi Asai, Yukiyoshi Kameyama
Comments (0)