Super-combinators: a new implementation method for applicative languages (1982)

by R J M Hughes
Venue:In ACM Symposium on Lisp and Functional Programming