A linear space translation of functional programs to Turner combinators (1984)

by F W Burton
Venue:Information Processing Letters