Bibliography

BGW93

D.G. Bobrow, R.P. Gabriel, and J.L. White.
CLOS in Context -- The Shape of the Design Space.
In A. Paepcke, editor, Object-Oriented Programming -- The CLOS Perspective, chapter 2. MIT Press, 1993.

BHS92

Gary Brooks, Gilbert J. Hansen, and Steve Simmons.
A new approach to debugging optimized code.
In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 1-11.
SIGPLAN Notices, 27(7), July 1992.

BMW92

D.F. Brown, H. Moura, and D.A. Watt.
ACTRESS: An Action Semantics Directed Compiler Generator.
In Proceedings of the 4th International Conference on Compiler Construction, volume 641 of Lecture Notes in Computer Science, pages 95-109. Springer-Verlag, 1992.

Chi95

S. Chiba.
A Metaobject Protocol for C++.
Proceedings of OOPSLA'95, ACM Sigplan Notices, 30(10):300-315, October 1995.

Con90

C. Consel.
Binding Time Analysis for Higher Order Untyped Functional Languages.
In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 264-272, June 1990.

CR91

W. Clinger and J. Rees, editors.
Revised⁴ Report on the Algorithmic Language Scheme, November 1991.

CUL89

C. Chambers, D. Ungar, and E. Lee.
An Efficient Implementation of Self, a Dynamically-typed Object-Oriented Language Based on Prototypes.
Proceedings of OOPSLA'89, ACM Sigplan Notices, 24(10):49-70, October 1989.

Dan88

O. Danvy.
Across the Bridge between Reflection and Partial Evaluation.
In D. Bjorner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, IFIP. Elsevier Science Publishers (North-Holland), 1988.

Dem94

F.-N. Demers.
Réflexion de comportement et évaluation partielle en Prolog.
Master's thesis, Département d'informatique et de recherche opérationnelle, Université de Montréal, 1994.
Rapport technique #956.

DM88

O. Danvy and K. Malmkjaer.
Intensions and Extensions in a Reflective Tower.
In Proceedings of the 1988 ACM Symposium on Lisp and Functional Programming, pages 327-341, 1988.

DM95

F.-N. Demers and J. Malenfant.
Reflection in logic, functional and object-oriented programming: a short comparative study.
In Proceedings of the IJCAI'95 Workshop on Reflection and Metalevel Architectures and their Applications in AI, pages 29-38, August 1995.

dR90

J. des Rivières.
The Secret Tower of CLOS.
In Informal Proceedings of the First Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, OOPSLA/ECOOP'90, October 1990.

dRS84

J. des Rivières and B. C. Smith.
The implementation of procedurally reflective languages.
In Proceedings of the 1984 ACM Symposium on Lisp and Functional Programming, pages 331-347, August 1984.

DS84

L.P. Deutsch and A.M. Schiffman.
Efficient implementation of the Smalltalk-80 system.
In Proceedings of the ACM Symposium on Principles of Programming Languages '84, pages 297-302. ACM Press, January 1984.

EP94

Dawson R. Engler and Todd A Proebsting.
DCG: An Efficient, Retargetable Dynamic Code Generator.
In Sixth International Conference on Architectural Support for Programming Languages a nd Operating Systems (ASPLOS-VI), pages 263-273, October 1994.

Fer89

J. Ferber.
Computational Reflection in Class Based Object-Oriented Languages.
Proceedings of OOPSLA'89, ACM Sigplan Notices, 24(10):317-326, October 1989.

Fil94

Andrzej Filinski.
Representing monads.
In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 446-457, Portland, Oregon, January 1994.

FJ89

B. Foote and R. E. Johnson.
Reflective Facilities in Smalltalk-80.
Proceedings of OOPSLA'89, ACM Sigplan Notices, 24(10):327-335, October 1989.

GR83

A. Goldberg and D. Robson.
Smalltalk-80 - The Language and its Implementation.
Addison-Wesley, 1983.

Hal93

M. Halpern.
Binding.
In A. Ralston and E.D. Reilly, editors, Encyclopedia of Computer Science, page 125. Chapman & Hall, third edition, 1993.

HCU92

Urs Hölzle, Craig Chambers, and David Ungar.
Debugging optimized code with dynamic deoptimization.
In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 32-43.
SIGPLAN Notices, 27(7), July 1992.

JD93

Mark P. Jones and Luc Duponcheel.
Composing monads.
Technical Report YALEU/DCS/RR-1004, Department of Computer Science, Yale University, December 1993.

JGS93

N.D. Jones, C.K. Gomard, and P. Sestoft.
Partial Evaluation and Automatic Program Generation.
Englewood Cliffs, NJ: Prentice Hall, 1993.

JM95

M. Jacques and J. Malenfant.
Proto-Reflex: un langage à prototypes avec réflexion de comportement.
In A. Napoli, editor, Actes de la conférence Langages et Modèles à Objets, LMO'95, pages 75-91. INRIA-Lorraine, October 1995.

KEH91

David Keppel, Susan J. Eggers, and Robert R. Henry.
A case for runtime code generation.
Technical Report 91-11-04, Department of Computer Science and Enginnering, University of Washington, November 1991.

KHC91

A. Kishon, P. Hudak, and C. Consel.
Monitoring Semantics: A Formal Framework for Specifying, Implementing and Reasoning about Execution Monitors.
Proceedings of PLDI'91, ACM Sigplan Notices, 26(6):338-352, June 1991.

KRB91

G. Kiczales, J. Des Rivières, and D. Bobrow.
The Art of the Metaobject Protocol.
MIT Press, 1991.

Lee89

P. Lee.
Realistic Compiler Generation.
MIT Press, 1989.

LH95

Sheng Liang and Paul Hudak.
Modular Denotational Semantics for Compiler Construction.
Available by anonymous ftp from nebula.cs.yale.edu:/pub/yale-fp/papers/mod-sem-draft.ps.Z, September 1995.

LHJ95

Sheng Liang, Paul Hudak, and Mark Jones.
Monad transformers and modular interpreters.
In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 333-343, San Francisco, California, January 1995.

LKRR92

J. Lamping, G. Kiczales, L. Rodriguez, and E. Ruf.
An Architecture for an Open Compiler.
In A. Yonezawa and B. Smith, editors, Proceedings of the International Workshop on New Models for Software Architecture '92, Reflection and Meta-Level Architecture, pages 95-106. RISE (Japan), ACM Sigplan, JSSST, IPSJ, November 1992.

LL95

Mark Leone and Peter Lee.
Optimizing ML with Run-Time Code Generation.
Technical Report CMU-CS-95-205, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, December 1995.

Mae87

P. Maes.
Computational Reflection.
PhD thesis, Vrije Universiteit Brussel, 1987.

MDC96

J. Malenfant, C. Dony, and P. Cointe.
A Semantics of Introspection in a Reflective Prototype-Based Language.
to appear in the journal Lisp and Symbolic Computation, 1996.

MMAY95

H. Masuhara, S. Matsuoka, K. Asai, and A. Yonezawa.
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages using Partial Evaluation.
Proceedings of OOPSLA'95, ACM Sigplan Notices, 30(10):300-315, October 1995.

Mog91

E. Moggi.
Notions of Computation and Monads.
Information and Computation, 93(1), 1991.

Mog89

E Moggi.
Computational lambda-calculus and monads.
In Proceedings of the Logic in Computer Science Conference, 89.

Mos92

P.D. Mosses.
Action Semantics, volume 26 of Cambridge Tracts in Theoretical Computer Science.
Cambridge University Press, 1992.

PS94

J. Palsberg and M.I. Schwartzbach.
Object-Oriented Type Systems.
John-Wiley & Sons, 1994.

Riv96

F. Rivard.
Smalltalk: a reflective language.
In Proceedings of the First International Conference on Computational Reflection, Reflection'96, April 1996.

Ruf93

E. Ruf.
Partial Evaluation in Reflective System Implementations.
In Informal Proceedings of the Third Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, OOPSLA'93, October 1993.

Sam92

A.D. Samples.
Compiler Implementation of ADTs Using Profile Data.
In Proceedings of the 4th Int'l Conference on Compiler Construction, CC'92, volume 641 of LNCS, pages 73-87. Springer-Verlag, October 1992.

SJ92

J. Wiseman Simmons II and S. Jefferson.
Language Extensions via First-Class Interpreters.
In A. Yonezawa and B. Smith, editors, Proceedings of the International Workshop on New Models for Software Architecture '92, Reflection and Meta-Level Architecture, pages 59-59. RISE (Japan), ACM Sigplan, JSSST, IPSJ, November 1992.

Smi82

B.C. Smith.
Reflection and Semantics in a Procedural Language.
Technical Report 272, MIT Laboratory for Computer Science, 1982.

Smi84

B.C. Smith.
Reflection and Semantics in Lisp.
In Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, pages 23-35, January 1984.

Ste94

Guy L. Steele, Jr.
Building interpreters by composing monads.
In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 472-492, Portland, Oregon, January 1994.

SW94

M. Serrano and P. Weiss.
1+1=1: An Optimizing CAML Compiler.
In Record of the 1994 ACM Sigplan Workshop on ML and its Applications, pages 101-111, June 1994.

USC⁺91

D. Ungar, R. Smith, C. Chambers, B.-W. Chang, and U. Hölzle.
Special Issue on the Self programming language.
Lisp and Symbolic Computation, (4), 1991.

Wad90

Philip Wadler.
Comprehending monads.
In 1990 ACM Conference on Lisp and Functional Programming, pages 61-78. ACM, ACM Press, June 1990.

Wad92

P. L. Wadler.
The essence of functional programming.
In Proceedings of the 19th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, NM, pages 1-14, 1992.

Web92

C. Weber.
Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components.
In Proceedings of the 4th Int'l Conference on Compiler Construction, CC'92, volume 641 of LNCS, pages 110-124. Springer-Verlag, October 1992.

WF88

M. Wand and D. P. Friedman.
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower.
Lisp and Symbolic Computation, 1(1):11-37, 1988.