Compilation Schemes


[-]Compilation of Id$^-$: a subset of Id
Z.M. Ariola and Arvind (TECHREPORT, 1990)

[-]Compiling Lazy Functional Languages Part II
L. Augustsson (PHDTHESIS, 1987)

[-]Term Graph Reduction
H.P. Barendregt and M. van Eekelen and J. Glauert and others[ (ed)] (INCOLLECTION, 1990)

[-]Reduction Languages for Reduction Machines
K. Berkling[ (ed)] (INPROCEEDINGS, 1975)

[-]APEX: The APL Parallel Executor
R. Bernecky (MASTERSTHESIS, 1997)

[-]An Overview of the APEX Compiler
R. Bernecky (TECHREPORT, 1997)

[-]Inside the APL2 Workspace
J. Brown (ARTICLE, 1985)

[-]An APL Compiler
T. Budd (BOOK, 1988)

[-]Composition and Compilation in Functional Programming Languages
T. Budd (TECHREPORT, 1988)

[-]Specification of the PROMOTER Compilation System Version 1.0
P. Enskonatus and M. Kessler and J. Nolte (TECHREPORT, 1994)

[-]Compiling Lazy Functional Languages
T. Johnsson (PHDTHESIS, 1987)

[-]An Outline of Some Results of Staples on Optimal Reduction Orders in Replacement Systems
J.R. Kennaway (TECHREPORT, 1984)

[-]The Mechanical Evaluation of Expressions
P.J. Landin (ARTICLE, 1964)

[-]The Implementation of Functional Programming Languages
S.L. Peyton Jones (BOOK, 1987)

[-]The Spineless Tagless G-Machine
S. Peyton Jones and J. Salkild[ (ed)] (INPROCEEDINGS, 1989)

[-]LISA-a Lazy Interpreter for a Full Fledged lambda- Calculus
C. Rathsack and S.-B. Scholz[H. Kuchen and R. Loogen (ed)] (INPROCEEDINGS, 1992)

[-]A New Implementation Technique for Applicative Languages
D.A. Turner (ARTICLE, 1979)

[-]An Introduction to STSC's APL compiler
J. Weigang[ (ed)] (INPROCEEDINGS, 1989)


comqss@herts.ac.uk