Explicit Substitution - Tutorial & Survey

[1]  Jr. Guy L. Steele,et al.  Rabbit: A Compiler for Scheme , 1978 .

[2]  Rinus Plasmeijer,et al.  The functional strategy and transitive term rewriting systems , 1993 .

[3]  Joseph JáJá,et al.  An Introduction to Parallel Algorithms , 1992 .

[4]  D. A. Turner,et al.  A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[5]  M. R. Spiegel.  Mathematical handbook of formulas and tables , 1968 .

[6]  Daniel Leivant,et al.  Polymorphic type inference , 1983, POPL '83.

[7]  Peter Sestoft,et al.  Deriving a lazy abstract machine , 1997, Journal of Functional Programming.

[8]  John Staples,et al.  Computation on Graph-Like Expressions , 1980, Theor. Comput. Sci..

[9]  John Staples,et al.  A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction is Optimal , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[10]  Leonard Berman,et al.  The Complexity of Logical Theories , 1980, Theor. Comput. Sci..