V-CS: an extended -calculus for Scheme (1988)

by Matthias Felleisen
Venue:In Proc. of Conf. LISP and Functional Programming