Compiling Lambda Expressions Using Continuations and Factorization (1977)

by Mitchell Wand, Daniel P Friedman