\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{OBBT89}

\bibitem[ASU87]{ASU87}
A.V. Aho, R.~Sethi, and J.D. Ullmann.
\newblock {\em Compilers: Principles, Techniques and Tools}.
\newblock Addison-Wesley, 1987.

\bibitem[BA92]{BoAr92}
A.~Bove and L.~Arbilla.
\newblock A Confluent Calculus of Macro Expansion and Evaluation.
\newblock In {\em ACM Conference on Lisp and Functional Programming}, pages
  278--287, 1992.

\bibitem[BTBN91]{BTBN91}
V.~Breazu-Tannen, P.~Buneman, and S.~Naqvi.
\newblock Structural Recursion as a Query Language.
\newblock In {\em Proceedings of the Third International Workshop on Database
  Programming Languages}, Nafplion, Greece, 1991. Morgan Kaufmann
  Publishers.

\bibitem[Car93]{Card93}
L.~Cardelli.
\newblock An Implementation of F$_{<:}$.
\newblock Report~97, Digital Equipment Corporation, Systems Research Center,
  1993.

\bibitem[Gri88]{Griff88}
T.~Griffin.
\newblock Notational definition -- A formal account.
\newblock In {\em Proceedings Symposium on Logic in Computer Science}, pages
  372--383, 1988.

\bibitem[KFFD92]{K*86}
E.~Kohlbecker, D.P. Friedman, M.~Felleisen, and B.~Duba.
\newblock Hygienic macro expansion.
\newblock In {\em ACM Conference on Lisp and Functional Programming}, 1992.

\bibitem[Kir92]{Kirb92}
G.N.C. Kirby.
\newblock Persistent Programming with Strongly Typed Linguistic Reflection.
\newblock FIDE Technical Report Series FIDE/92/40, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, 1992.

\bibitem[Koh86]{Kohl86}
E.E. Kohlbecker.
\newblock {\em Syntactic extensions in the programming language {LISP}}.
\newblock PhD thesis, Indiana University, 1986.

\bibitem[KR77]{KeRi77}
B.W. Kernighan and D.M. Ritchie.
\newblock {\em The C Programming Language}.
\newblock Prentice Hall, Englewood Cliffs, NJ, 1977.

\bibitem[Mat93]{Matt93}
F.~Matthes.
\newblock {\em Persistente Objektsysteme: Integrierte Datenbankentwicklung und
  Programmerstellung}.
\newblock Springer-Verlag, 1993.
\newblock (In German.)

\bibitem[MR92]{MaRa92}
M.~Mauny and D.~Rauglaudre.
\newblock Parsers in ML.
\newblock In {\em ACM Conference on Lisp and Functional Programming}, 1992.

\bibitem[MS91]{MaSc91b}
F.~Matthes and J.W. Schmidt.
\newblock Bulk Types: Built-In or Add-On?
\newblock In {\em Proceedings of the Third International Workshop on Database
  Programming Languages}, Nafplion, Greece, 1991. Morgan Kaufmann
  Publishers.

\bibitem[Naq89]{Naqv89}
S.A. Naqvi.
\newblock Stratification as a Design Principle in Logical Query Languages.
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages}, Salishan, Oregon, 1989.

\bibitem[OBBT89]{OBBT89}
A.~Ohori, P.~Buneman, and V.~Breazu-Tannen.
\newblock Database Programming in {Machiavelli} -- a Polymorphic Language with
  Static Type Inference.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Portland, Oregon}, pages 46--57, 1989.

\bibitem[PT93]{PiTu93}
B.~Pierce and D.~Turner.
\newblock Object-Oriented Programming without Recursive Types.
\newblock In {\em Proceedings of the 20th ACM Symposium on Principles of
  Programming Languages}, pages 299--312, 1993.

\bibitem[SFL83]{SFL83}
J.M. Smith, S.~Fox, and T.~Landers.
\newblock ADAPLEX: Rationale and Reference Manual (2nd ed.).
\newblock Technical report, Computer Corporation of America, Cambridge, Mass.,
  1983.

\bibitem[SMM91]{SMA91}
D.~Stemple, R.~Morrison, and Atkinson M.
\newblock Type-safe Linguistic Reflection.
\newblock In {\em Database Programming Languages: Bulk Types and Persistent
  Data}, pages 357--362, Nafplion, Greece, 1991. Morgan Kaufmann Publishers.

\bibitem[SQL87]{SQLISO}
ISO.
\newblock {\em Standard ISO 9075, Information processing systems - Database
  language SQL}, 1987.

\bibitem[SS91]{StSh91}
D.~Stemple and T.~Sheard.
\newblock A Recursive Base for Database Programming Primitives.
\newblock In {\em Proceedings of the Kiev East/West Workshop on Next Generation
  Database Technology}, volume 504 of {\em Lecture Notes in Computer Science},
  1991.

\bibitem[SSF92]{SSF92}
D.~Stemple, T.~Sheard, and L.~Fegaras.
\newblock Linguistic Reflection: A Bridge from Programming to Database
  Languages.
\newblock In {\em Proc. HICSS, Hawaii}, pages 46--55, 1992.

\bibitem[SSS88]{SSS88}
D.~Stemple, A.~Socorro, and T.~Sheard.
\newblock Formalizing Objects for Databases using ADABTPL.
\newblock In {\em Advances in Object-Oriented Database Systems}, pages
  110--172, 1988.

\bibitem[SSS{\etalchar{+}}92]{S*92}
D.~Stemple, R.B. Stanton, T.~Sheard, P.~Philbrow, R.~Morrison, G.N.C. Kirby,
  L.~Fegaras, R.L. Cooper, R.C.H. Connor, M.P. Atkinson, and S.~Alagic.
\newblock Type-Safe Linguistic Reflection: A Generator Technology.
\newblock Research Report CS/92/6, Univ. of St. Andrews, Dept. of Comp.
  Science, 1992.

\bibitem[Tri91]{Trind91}
P.~Trinder.
\newblock Comprehensions, a Query Notation for DBPLs.
\newblock In {\em Proceedings of the Third International Workshop on Database
  Programming Languages}, Nafplion, Greece, 1991. Morgan Kaufmann
  Publishers.

\end{thebibliography}
