On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.

John Field

Browse the full POPL paper archive.