Sciweavers

ESOP
2004
Springer

Answer Type Polymorphism in Call-by-Name Continuation Passing

13 years 11 months ago
Answer Type Polymorphism in Call-by-Name Continuation Passing
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some answer types are polymorphic, even in the presence of first-class control operators. By building on this polymorphic typing, and using parametricity reasoning, we show that the call-by-name transform satisfies the eta-law, and is in fact isomorphic to the more recent CPS transform defined by Streicher.
Hayo Thielecke
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ESOP
Authors Hayo Thielecke
Comments (0)