Bibliography

Abelson and Sussman

H. Abelson and G. Sussman with J. Sussman: Structure and Interpretation of Computer Programs, MIT Press, 1985

Agha

G. Agha: Actors---A Model of Concurrent Computation In Distributed Systems, The MIT Press, 1986.

ANSI C

ANSI X3J11: Draft Proposed American National Standard For Information Systems---Programming Language C, ANSI document X3J11/88-158 (December 1988)

Barendregt

H. Barendregt: The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, Volume 103, North-Holland (1981)

Batali

J. Batali: Computational Introspection, MIT AI Memo No. 701 (February 1983)

Ben-Ari

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

Carroll

L. Carroll:

Clocksin and Mellish

W. Clocksin and C. Mellish: Programming In Prolog, Springer-Verlag (1981)

Danvy

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

Doyle

J. Doyle: A Model for Deliberation, Action, and Introspection, MIT AI Laboratory Technical Report 581.

Escher

M. Escher: The Graphic Work of M. C. Escher, Meredith Press, 1967

Futamura

Y. Futamura: Partial Evaluation of Computation Process -- An Approach To A Compiler-Compiler, Systems, Computers and Control Vol 2 No 5 pp45-50 (1971)

Gabriel

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)

Gödel

K. Gödel: Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme, I, Monatshefte für Mathematik und Physik, 38, 1931

Hardy

S. Hardy: The Poplog Programming System, University of Sussex Cognitive Science Research Paper No. 3, 1982

Harpaz

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?

Hopkins

D. Hopkins: A PostScript Interpreter Written In PostScript, Usenet article in comp.lang.postscript (Don@BRILLIG.UMD.EDU), 27 Aug 89.

Halstead

R. Halstead, Multilisp: A Language for Concurrent Symbolic Computation, ACM TOPLAS 7, October 1985, pp501--538.

Johnson

S. Johnson: Yacc: Yet Another Compiler-Compiler, Unix manual Volume 2B (July 1978)

Jackson

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)

Landin

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

Loeliger

R. Loeliger: Threaded Interpretive Languages, BYTE Publications, 1981.

Magritte

R. Magritte: The Two Mysteries, 1966

Miller

J. Miller, MultiScheme: A Parallel Processing System, PhD. thesis, Massachussetts Institute of Technology, 1987.

Moss

J. Moss: Managing Stack Frames In SmallTalk, Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques, St. Paul, Minnesota

Mycroft

A. Mycroft: Abstract Interpretation and Optimising Transformations of Applicative Programs, Ph.D. thesis, Edinburgh University, 1981. Available as computer science report CST-15-81.

Occam

Inmos Ltd: Occam Programming Manual, Prentice-Hall, 1984

Osborne

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.

Padget

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

PostScript

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)

Ryle

G. Ryle: The Concept of Mind, Peregrine Books, 1949.

Shivers

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)

Smith

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

Turing

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

Winograd

T. Winograd: Understanding Natural Language, Academic Press, New York, 1972

Warren

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