A Linear Space Translation of Functional Programs to Turner Combinators (1982)

by F W Burton
Venue:Information Processing Letters