An Algorithm for Optimal Lambda Calculus Reduction.

John Lamping

Browse the full POPL paper archive.