From control effects to typed continuation passing

Hayo Thielecke. From control effects to typed continuation passing. In POPL. pages 139-149, 2003. [doi]

Abstract

Abstract is missing.