[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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

Reply via email to