Gilles Barthe John Hatcliff Morten Heine Sørensen CPS Translations and Applications: The Cube and Beyond. 125-170 1999 12 Higher-Order and Symbolic Computation 2 db/journals/lisp/lisp12.html#BartheHS99