Super-combinators a new implementation method for applicative languages

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1982

Volumn , Issue , 1982, Pages 1-10

  Hughes, R J M ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LISP (PROGRAMMING LANGUAGE);

COMBINATORS; COMPILATION ALGORITHMS; GRAPH REDUCTION; MACHINE CODES; SOURCE LANGUAGE; SPECIAL HARDWARE;

FUNCTIONAL PROGRAMMING;

EID: 85049230894     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800068.802129     Document Type: Conference Paper

References (4)

1. [Curry & Feys] H. B. Curry & R. Feys: "Combinatory Logic". North-Holland Publishing Company. Amsterdam. 1958.
2. [Henderson & Morris] P. Henderson & J. H. Morris: "A Lazy Evaluator". Proc 3rd annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Atlanta. 1976 pp95-103.
3. [Hughes) R. J. M. Hughes: "Graph-Reduction with Super-comblnators". Oxford University Programming Research Group technical monograph PRG-28 (to appear).
4. [Turner] D. A. Turner: "A New Implementation Technique for Applicative Languages". Software. Practice and Experience. Vol. 9. 1979.