Lambda-v-CS: and extended lambda-calculus for Scheme (1988)

by M Felleisen
Venue:In Proceedings of the Conference on LISP and Functional Programming