From Control Effects to Typed Continuation Passing (2003)

by Hayo Thielecke
Venue:In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’03