Discussion of various ways of traversing a collection, stressing the most complex and general case| okmij.org
CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc| okmij.org
