Incremental reduction in the lambda calculus (1990)

by J Field, T Teitelbaum
Venue:In ACM Conf. LISP and Functional Programming