Incremental reduction in the lambda calculus (1990)

by J Field, T Teitelbaum
Venue:In ACM Conference on LISP and Functional Programming