Reasoning about programs in continuation-passing style AMR SabryMatthias Felleisen OriginalPaper Pages: 289 - 360
Polymorphic type assignment and CPS conversion Robert HarperMark Lillibridge OriginalPaper Pages: 361 - 379