Incremental reduction in the lambda calculus (1990)

by J Field, T Teitelbaum
Venue:In Proceedings of the ACM ’90 Conference on LISP and Functional Programming