\begin{thebibliography}{10}

\bibitem{ISORDA91}
ISO / IEC JTC 1 / SC21/~WG 3.
\newblock Information processing systems -- open system connection ({OSI}) --
  remote database access ({RDA}), generic model.
\newblock Technical report, ISO 9579, 1991.

\bibitem{ISOASN92}
ISO / IEC JTC 1 /~DIS 8824.
\newblock {Abstract Syntax Notation One (ASN.1)}, draft international standard.
\newblock Technical report, ISO, 1992.

\bibitem{ACPP90}
M.~Abadi, L.~Cardelli, B.~C. Pierce, and G.D. Plotkin.
\newblock Dynamic typing in a statically typed language.
\newblock Report~47, DEC Systems Research Center, 130 Lytton Avenue, Palo Alto,
  94301 CA, June 1989.

\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{Card88c}
L.~Cardelli.
\newblock Structural subtyping and the notion of power type.
\newblock In {\em Proceedings of the Fifteenth ACM Symposium on Principles of
  Programming Languages}, 1988.

\bibitem{Card89}
L.~Cardelli.
\newblock Typeful programming.
\newblock Report~45, DEC Systems Research Center, 130 Lytton Avenue, Palo Alto,
  94301 CA, May 1989.

\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{CaWe85}
L.~Cardelli and P.~Wegner.
\newblock On understanding types, data abstraction, and polymorphism.
\newblock {\em ACM Computing Surveys}, 17(4):471--522, December 1985.

\bibitem{Catt91}
R.G.G. Cattell.
\newblock Next-generation database systems.
\newblock {\em Communications of the ACM}, 34(10), October 1991.

\bibitem{CoHu85}
T.~Coquand and G.~Huet.
\newblock Constructions: a higher order proof system for mechanizing
  mathematics.
\newblock Technical Report 401, INRIA, Domaine de Voluceau Rocquencourt 78153
  Le Chesnay Cedex - France, May 1985.

\bibitem{Corb91}
J.R. Corbin.
\newblock {\em The Art of Distributed Applications}.
\newblock Sun Technical Reference Library. Springer-Verlag, 1991.

\bibitem{ERMS91}
J.~Eder, A.~Rudloff, F.~Matthes, and J.W. Schmidt.
\newblock Data construction with recursive set expressions in {DBPL}.
\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.

\bibitem{ElSt90}
M.A. Ellis and B.~Stroustrup.
\newblock {\em The Annotated C++ Reference Manual}.
\newblock Addison-Wesley, 1990.

\bibitem{CORBA91}
Object~Management Group.
\newblock The common object request broker: Architecture and specification.
\newblock Document 91.12.1, Rev. 1.1, OMG, 1991.

\bibitem{HuWa92}
P.~Hudak and P.~Wadler.
\newblock Report on the programming language {Haskell} version 1.2.
\newblock {\em SCM SIGPLAN Notices}, 21(7):219--233, July 1986.

\bibitem{JGLR88}
W.~Johannsen, L.~Ge, W.~Lamersdorf, K.~Reinhard, and J.W. Schmidt.
\newblock Database application support in open systems: Language support and
  implementation.
\newblock In {\em Proc. IEEE 4th Int. Conf. on Data Engineering}, Los Angeles,
  USA, February 1988.

\bibitem{JLRS88}
W.~Johannsen, W.~Lamersdorf, K.~Reinhard, and J.W. Schmidt.
\newblock The {DURESS} project: Extending databases into an open systems
  architecture.
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 616--620. Springer-Verlag,
  1988.

\bibitem{KiLo89}
W.~Kim and F.H. Lochowsky.
\newblock {\em Object-Oriented Concepts, Databases and Applications}.
\newblock ACM Press Books, 1989.

\bibitem{Kirb92}
G.N.C. Kirby.
\newblock Persistent programming with strongly typed linguistic reflection.
\newblock FIDE Technical Report Series FIDE/92/40, Fachbereich Informatik,
  Universitaet Hamburg, Germany, 1992.

\bibitem{Mart75}
P.~Martin-L\"{o}f.
\newblock An intuitionistic theory of types: predicative part.
\newblock In H.E. Rose and J.C. Sheperdson, editors, {\em Logic Colloquium
  1973}, pages 73--118, Amsterdam, 1975. North Holland Publishing Company.

\bibitem{Matt93}
F.~Matthes.
\newblock {\em Persistent Object Systems: Linguistic and Architectural
  Foundations}.
\newblock Springer-Verlag, 1993.
\newblock (in German, to appear).

\bibitem{MRSS92}
F.~Matthes, A.~Rudloff, J.W. Schmidt, and K.~Subieta.
\newblock The database programming language {DBPL}: User and system manual.
\newblock FIDE Technical Report FIDE/92/47, Fachbereich Informatik,
  Universitaet Hamburg, Germany, July 1992.

\bibitem{MRSS92b}
F.~Matthes, A.~Rudloff, J.W. Schmidt, and K.~Subieta.
\newblock A gateway from {DBPL} to {Ingres}.
\newblock FIDE Technical Report Series FIDE/92/54, Fachbereich Informatik,
  Universitaet Hamburg, Germany, November 1992.

\bibitem{MaSc89}
F.~Matthes and J.W. Schmidt.
\newblock The type system of {DBPL}.
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Salishan, Oregon}, pages 255--260, June 1989.

\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{MaSc92c}
F.~Matthes and J.W. Schmidt.
\newblock Definition of the {Tycoon} language {TL} -- a preliminary report.
\newblock DBIS Tycoon Report 062-92, Fachbereich Informatik, Universitaet
  Hamburg, Germany, October 1992.

\bibitem{Miln78}
R.~Milner.
\newblock A theory of type polymorphism in programming.
\newblock {\em Journal of Computer and System Sciences}, 17:348--375, 1978.

\bibitem{MTH90}
R.~Milner, M.~Tofte, and R.~Harper.
\newblock {\em The Definition of {Standard ML}}.
\newblock MIT Press, Cambridge, MA, 1990.

\bibitem{MAD87}
R.~Morrison, M.P. Atkinson, and A.~Dearle.
\newblock Flexible incremental bindings in a persistent object store.
\newblock Persistent Programming Research Report~38, Univ. of St. Andrews,
  Dept. of Comp. Science, June 1987.

\bibitem{Rich89}
J.E. Richardson.
\newblock E: A persistent systems implementation language.
\newblock Technical Report 868, Computer Sciences Department, University of
  Wisconsin-Madison, August 1989.

\bibitem{TDF91a}
{RSRE}.
\newblock {TDF} specification.
\newblock Technical report, Defense Research Agency, RSRE, St. Andrews Road,
  Malvern, Worcestershire WR 14 3PS, UK, October 1991.
\newblock (2 parts).

\bibitem{ScMa91a}
J.W. Schmidt and F.~Matthes.
\newblock Modular and rule-based database programming in {DBPL}.
\newblock FIDE Technical Report Series FIDE/91/15, Fachbereich Informatik,
  Universitaet Hamburg, Germany, February 1991.

\bibitem{ScMa90b}
J.W. Schmidt and F.~Matthes.
\newblock Naming schemes and name space management in the {DBPL} persistent
  storage system.
\newblock In {\em Proceedings of the Fourth International Workshop on
  Persistent Object Systems, Martha's Vineyard, Massachusetts}. Morgan Kaufmann
  Publishers, January 1991.

\bibitem{MaSc92a}
J.W. Schmidt and F.~Matthes.
\newblock The database programming language {DBPL}: Rationale and report.
\newblock FIDE Technical Report Series FIDE/92/46, Fachbereich Informatik,
  Universitaet Hamburg, Germany, July 1992.

\bibitem{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{NeWS90}
{Sun Microsystems}.
\newblock {NeWS} 2.1 programmer's guide.
\newblock Manual 800-4888-10, Sun Microsystems, 1992.

\bibitem{Wirt85b}
N.~Wirth.
\newblock Report on the programming language {Modula-2}.
\newblock Springer-Verlag, 3rd edition, 1985.

\end{thebibliography}