An algorithm for optimal lambda calculus reduction (1990)

by John Lamping
Venue:In Proceedings of the 17th Association for Computing Machinery Symposium on Principles of Programming Languages