Abelson and Sussman
H. Abelson and G. Sussman with J. Sussman: Structure and Interpretation of Computer Programs, MIT Press, 1985
G. Agha: Actors---A Model of Concurrent Computation In Distributed Systems, The MIT Press, 1986.
ANSI X3J11: Draft Proposed American National Standard For Information Systems---Programming Language C, ANSI document X3J11/88-158 (December 1988)
H. Barendregt: The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, Volume 103, North-Holland (1981)
J. Batali: Computational Introspection, MIT AI Memo No. 701 (February 1983)
M. Ben-Ari: Principles of Concurrent Programming, Prentice-Hall, 1982
Cardelli and Wagner
L. Cardelli and P. Wagner: On Understanding Types, Data Abstraction and Polymorphism, Technical Report CS-85-14, Brown University, Department of Computer Science, 1985
L. Carroll: ssalG-gnikooL eht hguorht ecilA
Clocksin and Mellish
W. Clocksin and C. Mellish: Programming In Prolog, Springer-Verlag (1981)
O. Danvy: Across The Bridge Between Reflection and Partial Evaluation, Proceedings of the WorkShop on Partial Evaluation and Mixed Computation, Dines Björner, Andrei P. Ershov and Neil D. Jones (eds), North-Holland, Gl. Avernes, Denmark (October 1987)
Danvy and Malmkjær 88
O. Danvy and K. Malmkjær: Intensions and Extensions in a Reflective Tower, Proceedings of the 1988 ACM conference on Lisp and Functional Programming, Snowbird, Utah (July 1988)
Danvy and Malmkjær 8?
O. Danvy and K. Malmkjær: An Approach for Formalizing Computational Reflection, unpublished, Köbenhavns Universitet, 1988
J. Doyle: A Model for Deliberation, Action, and Introspection, MIT AI Laboratory Technical Report 581.
M. Escher: The Graphic Work of M. C. Escher, Meredith Press, 1967
Y. Futamura: Partial Evaluation of Computation Process -- An Approach To A Compiler-Compiler, Systems, Computers and Control Vol 2 No 5 pp45-50 (1971)
R. Gabriel: Performance and Evaluation of Lisp Systems, The MIT Press, 1985.
Goldberg and Robson
A. Goldberg, D. Robson: SmallTalk-80: The Language and its Implementation, Addison-Wesley (1983)
K. Gödel: Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme, I, Monatshefte für Mathematik und Physik, 38, 1931
S. Hardy: The Poplog Programming System, University of Sussex Cognitive Science Research Paper No. 3, 1982
Y. Harpaz: Migrating Common Lisp, Harlequin Ltd, Chameleon report TR-87-46, 1987
Haynes et al 84
C. Haynes, D. Friedman, M. Wand: Continuations and Coroutines, CACM POPL 84?
D. Hopkins: A PostScript Interpreter Written In PostScript, Usenet article in comp.lang.postscript (Don@BRILLIG.UMD.EDU), 27 Aug 89.
R. Halstead, Multilisp: A Language for Concurrent Symbolic Computation, ACM TOPLAS 7, October 1985, pp501--538.
S. Johnson: Yacc: Yet Another Compiler-Compiler, Unix manual Volume 2B (July 1978)
J. Jackson, Harlequin Ltd: private communication
Jones, Sestoft and Søndergaard
A. Jones, Sestoft and Søndergaard: MIX: A Self-Applicable Partial Evaluator For Experiments In Compiler Generation, DIKU, University of Copenhagen (June 1987)
Kranz Et Al
D. Kranz, R. Halstead & E. Mohr, Mul-T: A High-Performance Parallel Lisp, in Proceedings of SIGPLAN '89 Conference on Programming Language Design and Implementation, published by ACM Press, New York, pp81--90, 1989
Köhlbecker 86
E. Köhlbecker: Syntactic Extensions in the Programming Language Lisp, PhD dissertation, Indiana University (August 1986)
Köhlbecker Et Al 86
E. Köhlbecker, D. Friedman, M. Felleisen, B. Duba: Hygienic Macro Expansion, Proceedings of the 1986 ACM Conference on Lisp and Functional Programming (1986)
Köhlbecker and Wand
E. Köhlbecker and M. Wand: Macro-by-example: Deriving Syntactic Transformations from their Specifications, Conference Record of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (Munich, January, 1987)
P. Landin: The Mechanical Evaluation of Expressions, Computer Journal, Volume 6, pp308-320, 1963
Lang and Pearlmutter
K. Lang and B. Pearlmutter: Oaklisp: An Object-Oriented Dialect of Scheme, Lisp and Symbolic Computation, Volume 1, Number 1, 1988
Lesk and Schmidt
M. Lesk and E. Schmidt: Lex---A Lexical Analyzer Generator, Unix manual Volume 2B, July 1975
R. Loeliger: Threaded Interpretive Languages, BYTE Publications, 1981.
R. Magritte: The Two Mysteries, 1966
J. Miller, MultiScheme: A Parallel Processing System, PhD. thesis, Massachussetts Institute of Technology, 1987.
J. Moss: Managing Stack Frames In SmallTalk, Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques, St. Paul, Minnesota
A. Mycroft: Abstract Interpretation and Optimising Transformations of Applicative Programs, Ph.D. thesis, Edinburgh University, 1981. Available as computer science report CST-15-81.
Inmos Ltd: Occam Programming Manual, Prentice-Hall, 1984
R. Osborne: Speculative Computation In MultiLisp, published in the Proceedings of the 1990 ACCM Conference on Lisp and Functional Programming, ACM Press, ACM, New York, pp198--208.
J. Padget: The Ecology of Lisp, PhD thesis, Bath University (1984)
Padget and ffitch
J. Padget and J. ffitch: Closurize and Concentrate, School of Mathematical Sciences, University of Bath
Perdue and Waters
C. Perdue and R. Waters: Generators and Gatherers, in Common Lisp the Language, Second Edition, edited by G. Steele, Digital Press, 1990
Adobe Systems Incorporated: PostScript Language Reference Manual, Addison-Wesley, 1985.
Rees and Clinger
Rees and W. Clinger (eds): Revised Revised Revised Report on the Algorithmic Language Scheme, Sigplan notices Vol 21 No 12 pp37-39 (December 1986)
G. Ryle: The Concept of Mind, Peregrine Books, 1949.
O. Shivers: Partial Evaluation in Scheme, SIGPLAN '88 conference Programming Language Design and Implementation, published by ACM Press, New York, 1988
Smith and des Rivières 84a
B. Smith and J. des Rivières: Reflection and Semantics in Lisp, Conference recordings of 14th Annual ACM Symposium on Principles of Programming Languages, pp23-35, Salt Lake City, Utah (January 1984)
Smith and des Rivières 84b
B. Smith and J. des Rivières: The Implementation of Procedurally Reflective Languages, Conference record of the 1984 ACM Symposium on Lisp and Functional Programming pp341-347, Austin, Texas (August 1984)
B. Smith: Reflection and Semantics in a Procedural Language, PhD thesis MIT/LCS/TR-272, MIT, Cambridge, Massachussetts (January 1982). Summarized in Batali, {Computational Introspection}, MIT AI-Memo 701.
Steele 84
G. Steele: Common Lisp the Language, Digital Press (1984)
Steele 90
G. Steele: Common Lisp the Language, Second Edition Digital Press, 1990
A. Turing: On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Ser. 2, 42 (1936-37) pp230-265. Corrections, ibid (1937), pp544-546. Reprinted in The Undecidable, edited by Martin Davies, Raven Press, Hewlett, NY, 1965, pp115-154
Wand and Friedman
M. Wand and D. Friedman: The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower, Vol 1 No 1 pp11-38 of the International Journal of Lisp and Symbolic Computation
T. Winograd: Understanding Natural Language, Academic Press, New York, 1972
D. Warren: An Improved Prolog Implementation Which Optimizes Tail Recursion, Research Paper 156, Department of Artificial Intelligence, University of Edinburgh, 1980
Watson and Tillotson
A. Watson and M. Tillotson: Efficient Decompilation From Machine Code, Harlequin Ltd, Chameleon report TR-89-69, 1989

Last modified: Sun Oct 01 17:32:46 GMT Daylight Time 2006
Contact me