The Discoveries of Continuations, Lisp and Symbolic Computation (6 (1993)

by J C Reynolds
Venue:TLCA 2005, Lecture Notes in Computer Science (3461