An investigation of the relative efficiencies of combinators and lambda expressions
Simon Jones · 1982
In 'A New Implementation Technique for Applicative Languages' [Tu79a] Turner uses combinators to implement lambda expressions. This paper describes an experimental investigation of the efficiency of Turner's technique compared with more traditional reducers.