THE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES
John Hughes
Abstract
Implementation strategies for purely functional languages are reviewed and a new one using “super-combinatiors” proposed. An efficient algorithm for compilation to super-combinators is described and realisations of the algorithm are presented in imperative functional and logic programming languages. The new method is compared with Turner’s combinators by an experimental comparison and by a theoretical analysis.
Institution
OUCL
Month
July
Number
PRG40
Pages
159
Year
1983