An algorithm for optimal lambda calculus reduction, in (1990)

by J Lamping
Venue:F. E. Allen (Ed.), POPL, ACM