From control effects to typed continuation passing (0)

by H Thielecke
Venue:in: Principles of Programming Languages (POPL’03), ACM, 2003