Super Combinators---A New Implementation Method for Applicative Languages (1982)

by R J M Hughes
Venue:In Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming