[ 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
