[TYPES] Best pedagogical presentation of CPS?

Benjamin C. Pierce bcpierce at cis.upenn.edu
Wed Feb 14 12:53:26 EST 2018

Dear Types types,

What is the best presentation of the continuation-passing transform and its proof of correctness (“best” in the sense of clarity of both algorithm and proof, not efficiency or generality)?

Many thanks,

    - Benjamin

More information about the Types-list mailing list