An archive of Scheme code| okmij.org
CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc| okmij.org
