Loop headers in -calculus or cps (1994)

by A Appel
Venue:Lisp and Symbolic Computation