R. J. M. Hughes Super Combinators: A New Implementation Method for Applicative Languages. 1-10 1982 Symposium on LISP and Functional Programming db/conf/lfp/lfp1982.html#Hughes82