\begin{thebibliography}{10}

\bibitem{AtBu86}
M.P. Atkinson and P.~Bunemann.
\newblock Types and persistence in database programming languages.
\newblock {\em ACM Computing Surveys}, 19(2), June 1987.

\bibitem{ACC81a}
M.P. Atkinson, K.J. Chisholm, and W.P. Cockshott.
\newblock {PS-algol}: An algol with a persistent heap.
\newblock {\em ACM SIGPLAN Notices}, 17(7), July 1981.

\bibitem{B*88}
D.G. Bobrow, L.G. De~Michiel, R.P. Gabriel, S.E. Keene, G.~Kiczales, and D.A.
  Moon.
\newblock Common lisp object system specification.
\newblock {\em ACM SIGPLAN Notices}, 23, September 1988.

\bibitem{Card86}
L.~Cardelli.
\newblock Amber.
\newblock In {\em Combinators and Functional Programming Languages}, volume 242
  of {\em Lecture Notes in Computer Science}. Springer-Verlag, 1986.

\bibitem{Card89}
L.~Cardelli.
\newblock Typeful programming.
\newblock Technical Report~45, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, May 1989.

\bibitem{Card90}
L.~Cardelli.
\newblock The {Quest} language and system (tracking draft).
\newblock Technical report, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, 1990.
\newblock (shipped as part of the Quest V.12 system distribution).

\bibitem{CMMS91}
L.~Cardelli, S.~Martini, J.C. Mitchell, and A.~Scedrov.
\newblock An extension of system {F} with subtyping.
\newblock In T.~Ito and A.R. Meyer, editors, {\em Theoretical Aspects of
  Computer Software, TACS'91}, Lecture Notes in Computer Science, pages
  750--770. Springer-Verlag, 1991.

\bibitem{FiHa88}
A.J. Field and P.G. Harrison.
\newblock {\em Functional Programming}.
\newblock Addison-Wesley Publishing Company, 1988.

\bibitem{GoRo83}
A.~Goldberg and D.~Robson.
\newblock {\em Smalltalk-80: The Language and its Implementation}.
\newblock Addison-Wesley Publishing Company, 1983.

\bibitem{Hudak89}
P.~Hudak.
\newblock Conception, evolution, and application of functional programming
  languages.
\newblock {\em ACM Computing Surveys}, 21(3):359--411, September 1989.

\bibitem{I*83}
Ichbiah et~al.
\newblock The programming language {Ada}: Reference manual.
\newblock Technical Report MIL-STD-1815A-1983, ANSI, 1983.

\bibitem{MODISO}
ISO/IEC JTC1/SC22/WG13.
\newblock {\em Interim Version of the 4th Working Draft Modula-2 Standard},
  1991.

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

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

\bibitem{MMS92}
F.~Matthes, R.~M{\"u}ller, and J.W. Schmidt.
\newblock Object stores as servers in persistent programming environments --
  the {P-Quest} experience.
\newblock FIDE Technical Report Series FIDE/92/48, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, July
  1992.

\bibitem{MaSc91}
F.~Matthes and J.W. Schmidt.
\newblock Towards database application systems: Types, kinds and other open
  invitations.
\newblock In {\em Proceedings of the Kiev East/West Workshop on Next Generation
  Database Technology}, volume 504 of {\em Lecture Notes in Computer Science},
  April 1991.
\newblock (Also appeared as TR FIDE/91/14).

\bibitem{MaSc92a}
F.~Matthes and J.W. Schmidt.
\newblock Definition of the {Tycoon} language {TL} -- a preliminary report.
\newblock Informatik Fachbericht FBI-HH-B-160/92, Fachbereich Informatik,
  Universit\"at Hamburg, Germany, November 1992.

\bibitem{MaSc93b}
F.~Matthes and J.W. Schmidt.
\newblock System construction in the {Tycoon} environment: Architectures,
  interfaces and gateways.
\newblock In P.P. Spies, editor, {\em Proceedings of Euro-Arch'93 Congress},
  pages 301--317. Springer-Verlag, October 1993.

\bibitem{Maun91}
M.~Mauny.
\newblock Functional programming using {CAML}.
\newblock Technical report, INRIA, Domaine de Voluceau, Rocquencourt 78153 Le
  Chesnay Cedex, France, September 1991.

\bibitem{Mink88}
J.~Minker.
\newblock {\em Foundations of Deductive Databases and Logic Programming}.
\newblock Morgan Kaufmann Publishers, 1988.

\bibitem{Mue91b}
R.~M{\"u}ller.
\newblock Language processors and object stores: Interface design and
  implementation.
\newblock Master's thesis, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, Germany, November 1991.
\newblock (In German).

\bibitem{Nels91}
G.~Nelson, editor.
\newblock {\em Systems programming with Modula-3}.
\newblock Series in innovative technology. Prentice Hall, Englewood Cliffs, New
  Jersey, 1991.

\bibitem{RLW85}
P.~Rovner, R.~Levin, and J.~Wick.
\newblock On extending {Modula-2} for building large, integrated systems.
\newblock Technical Report~3, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, January 1985.

\bibitem{ScMa90a}
J.W. Schmidt and F.~Matthes.
\newblock Language technology for post-relational data systems.
\newblock In A.~Blaser, editor, {\em Database Systems of the 90s}, volume 466
  of {\em Lecture Notes in Computer Science}, pages 81--114, November 1990.

\bibitem{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, University of St. Andrews, Department of
  Computing Science, July 1992.

\bibitem{Wirt87a}
N.~Wirth.
\newblock The programming language {Oberon}.
\newblock Technical report, Department Informatik, ETH Z\"urich, Switzerland,
  1987.

\end{thebibliography}
