\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{ABW{\etalchar{+}}90}

\bibitem[AB88]{AbBe88}
S.~Abiteboul and C.~Beeri.
\newblock On the Power of Languages for the Manipulation of Complex Objects.
\newblock Rapports de Recherche 846, INRIA, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, May 1988.

\bibitem[ABW{\etalchar{+}}90]{ABW*90}
Malcolm Atkinson, Francois Ban\c{c}ilhon, David~De Witt, Klaus Dittrich, David
  Maier, and Stanley Zdonik.
\newblock The Object-Oriented Database System Manifesto.
\newblock In {\em Deductive and Object-oriented Databases}. Elsevier Science
  Publishers, Amsterdam, Netherlands, 1990.

\bibitem[AC90]{AmCa90}
R.M. Amadio and L.~Cardelli.
\newblock Subtyping Recursive Types.
\newblock Digital Systems Research Center Reports~62, DEC SRC Palo Alto, August
  1990.

\bibitem[ACC81]{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[AFS89]{AFS89}
S.~Abiteboul, P.C. Fischer, and H.J. Schek.
\newblock {\em Nested Relations and Complex Objects in Databases}, volume 361
  of {\em Lecture Notes in Computer Science}.
\newblock Springer-Verlag, 1989.

\bibitem[AKN89]{AKN89}
H.~A{\"i}t-Kaci and R.~Nasr.
\newblock Integrating logic and functional programming.
\newblock {\em Lisp and Symbolic Computation}, 2:51--89, 1989.

\bibitem[AM87]{AtMo88}
M.P. Atkinson and R.~Morrison.
\newblock Polymorphic Names and Iterations.
\newblock In {\em Proc. of the Workshop on Database Programming Languages,
  Roscoff, France}, September 1987.

\bibitem[AM88]{AtMo85}
M.P. Atkinson and R.~Morrison.
\newblock Types, Bindings and Parameters in a Persistent Environment.
\newblock In M.P. Atkinson, P.~Buneman, and R.~Morrison, editors, {\em Data
  Types and Persistence}, Topics in Information Systems. Springer-Verlag, 1988.

\bibitem[ART90]{ART90}
M.~Atkinson, P.~Richard, and P.~Trinder.
\newblock Bulk Types for Large Scale Programming.
\newblock Technical Report 60-90, GIP Altair, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, November 1990.

\bibitem[ART91]{ART91}
M.~Atkinson, P.~Richard, and P.~Trinder.
\newblock Bulk Types for Large Scale Programming.
\newblock In {\em Proceedings of the Kiev East/West Workshop on Next Generation
  Database Technology (to appear)}, Lecture Notes in Computer Science, 1991.

\bibitem[BCC{\etalchar{+}}88]{BCCDM88}
A.L. Brown, R.C.H. Connor, R.~Carrick, A.~Dearle, and R.~Morrison.
\newblock The Persistent Abstract Machine.
\newblock PPRR 59-88, Universities of Glasgow and St Andrews, March 1988.

\bibitem[BL84]{BuLa84}
R.~Burstall and B.~Lampson.
\newblock A kernel language for abstract data types and modules.
\newblock In {\em Semantics of Data Types}, volume 173 of {\em Lecture Notes in
  Computer Science}. Springer-Verlag, 1984.

\bibitem[BM86]{BrMy86}
M.L. Brodie and J.~Mylopoulos.
\newblock Knowledge Bases vs.\ Data Bases.
\newblock In M.L. Brodie and J.~Mylopoulos, editors, {\em On Knowledge Base
  Management Systems}, Topics in Information Systems. Springer-Verlag, 1986.

\bibitem[BMS84]{BMS84}
M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors.
\newblock {\em On Conceptual Modelling, Perspectives from Artificial
  Intelligence, Databases, and Programming Languages}.
\newblock Springer-Verlag, 1984.

\bibitem[BMW84]{BMW84}
A.~Borgida, J.~Mylopoulos, and H.K.T. Wong.
\newblock Generalization / Specialization as a Basis for Software
  Specification.
\newblock In M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors, {\em On
  Conceptual Modelling}, Topics in Information Systems, pages 87--117.
  Springer-Verlag, 1984.

\bibitem[Bor88]{Borg88}
A.~Borgida.
\newblock Modeling class hierarchies with contradictions.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Chicago, Illinois}, 1988.

\bibitem[Bro84]{Brod84}
M.L. Brodie.
\newblock On the Development of Data Models.
\newblock In M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors, {\em On
  Conceptual Modelling}, Topics in Information Systems. Springer-Verlag, 1984.

\bibitem[Bun90]{Bun90}
P.~Buneman.
\newblock Functional Programming and Databases.
\newblock In D.~Turner, editor, {\em Research Topics in Functional
  Programming}, pages 155--169. Addison-Wesley, 1990.

\bibitem[Car88]{Card88b}
L.~Cardelli.
\newblock Types for Data-Oriented Languages.
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 1--15. Springer-Verlag, 1988.

\bibitem[Car89]{Card89}
L.~Cardelli.
\newblock Typeful Programming.
\newblock Digital Systems Research Center Reports~45, DEC SRC Palo Alto, May
  1989.

\bibitem[CDG{\etalchar{+}}88]{Card88}
L.~Cardelli, J.~Donahue, L.~Glassman, M.~Jordan, B.~Kalsow, and G.~Nelson.
\newblock Modula-3 Report.
\newblock Technical Report ORC-1, Olivetti Research Center, 2882 Sand Hill
  Road, Memlo Park, California, 1988.

\bibitem[CL90]{CaLo90}
L.~Cardelli and G.~Longo.
\newblock A semantic basis for Quest.
\newblock Digital Systems Research Center Reports~55, DEC SRC Palo Alto, March
  1990.

\bibitem[CM84]{CoMa84}
G.~Copeland and D.~Maier.
\newblock Making Smalltalk a database system.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Boston, Massachusetts}, pages 316--325, June 1984.

\bibitem[Dea89]{Dea89}
A.~Dearle.
\newblock Environments: a flexible binding mechanism to support system
  evolution.
\newblock In {\em Proc. HICSS-22, Hawaii}, volume~II, pages 46--55, January
  1989.

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

\bibitem[Har84]{Harl84}
D.M. Harland.
\newblock {\em Polymorphic Programming Languages, Design and Implementation}.
\newblock Ellis Horwood Limited, a division of John Wiley \& Sons, 1984.

\bibitem[HFLP89]{HFLP89}
L.M. Haas, J.C. Freytag, G.M. Lohmann, and H.~Pirahesh.
\newblock Extensible Query Processing in {Starburst}.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Portland, Oregon}, pages 377--388, 1989.

\bibitem[HMT88]{HMT88}
R.~Harper, R.~Milner, and M.~Tofte.
\newblock The Definition of {Standard ML}.
\newblock LFCS Report Series ECS-LFCS-88-62, Department of Computer Science,
  University of Edinburgh, August 1988.

\bibitem[Hud89]{Hudak89}
P.~Hudak.
\newblock Conception, Evolution, and Application of Functional Programming
  Languages.
\newblock {\em ACM Computing Surveys}, 21(3):359--411, September 1989.

\bibitem[Ken79]{Kent79}
W.~Kent.
\newblock Limitations of Record-Based Information Models.
\newblock {\em ACM Transactions on Database Systems}, 4(1):107--131, 1979.

\bibitem[L{\etalchar{+}}77]{L*77}
B.~Liskov et~al.
\newblock Abstraction Mechanisms in CLU.
\newblock {\em Communications of the ACM}, 20(8), August 1977.

\bibitem[Lar90]{Larc90}
J.M. Larchev\^eque.
\newblock Incremental compilation in the O$_2$ database system.
\newblock (technical note), October 1990.

\bibitem[LCJS87]{LCDS87}
B.~Liskov, D.~Curtis, P.~Johnson, and R.~Scheifler.
\newblock Implementation of Argus.
\newblock In {\em Proc. of the 11th ACM Symp. on Operation System Principles,
  ACM SIGOPS}, pages 111--122, November 1987.

\bibitem[LR89]{LeRi89}
C.~L\'ecluse and P.~Richard.
\newblock The O$_2$ Database Programming Language.
\newblock Rapport Technique 26-89, GIP Altair, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, January 1989.

\bibitem[MB89]{MyBr89}
J.~Mylopoulos and M.L. Brodie, editors.
\newblock {\em Readings in artificial intelligence and databases}.
\newblock Morgan Kaufmann publishers, 1989.

\bibitem[MBCD89]{NapierRep}
R.~Morrison, A.L. Brown, R.~Connor, and A.~Dearle.
\newblock The {Napier88} Reference Manual.
\newblock PPRR 77-89, Universities of Glasgow and St Andrews, 1989.

\bibitem[MBW80]{MyBeWo80}
J.~Mylopoulos, P.~Bernstein, and H.K.T. Wong.
\newblock A Language Facility for Designing Database-Intensive Applications.
\newblock {\em ACM Transactions on Database Systems}, 5(2):185--207, June 1980.

\bibitem[Mey88]{Meyer88}
B.~Meyer.
\newblock {\em Object-oriented Software Construction}.
\newblock International Series in Computer Science. Prentice Hall, 1988.

\bibitem[Mey90]{Meyer90}
B.~Meyer.
\newblock Lessons from the Design of the Eiffel Libraries.
\newblock {\em Communications of the ACM}, 33(9):69--88, September 1990.

\bibitem[Mos89]{Moss89}
J.E.B. Moss.
\newblock Addressing Large Distributed Collections of Persistent Objects: The
  {Mneme} Project's Approach.
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Portland, Oregon}, pages 358--374, June 1989.

\bibitem[MOS91]{MOS91}
F.~Matthes, A.~Ohori, and J.W. Schmidt.
\newblock Typing Schemes for Objects with Locality.
\newblock In {\em Proceedings of the Kiev East/West Workshop on Next Generation
  Database Technology (to appear)}, Lecture Notes in Computer Science, 1991.

\bibitem[MS89]{MaSc89}
F.~Matthes and J.W. Schmidt.
\newblock The Type System of {DBPL}.
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Salishan Lodge, Oregon}, pages 255--260, June 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[RC87]{RiCa87}
J.~Richardson and M.~Carey.
\newblock Programming Constructs for Database System Implementation in EXODUS.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, San Francisco, California}, May 1987.

\bibitem[RT88]{ReTe88}
T.W. Reps and T.~Teitelbaum.
\newblock {\em The Synthesizer Generator: A System For Constructing
  Language-Based Editors}.
\newblock Texts and Monographs in Computer Science. Springer-Verlag, 1988.

\bibitem[SBK{\etalchar{+}}88]{S*88}
J.W. Schmidt, M.~Bittner, H.~Klein, H.~Eckhardt, and F.~Matthes.
\newblock {DBPL System}: The Prototype and its Architecture.
\newblock DBPL Memo 111-88, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, West Germany, November 1988.

\bibitem[SCB{\etalchar{+}}86]{S*86}
C.~Schaffert, T.~Cooper, B.~Bullis, M.~Kilian, and C.~Wilpolt.
\newblock An Introduction to Trellis/Owl.
\newblock In {\em Proc. of 1st Int. Conf. on OOPSLA}, pages 9--16, Portland,
  Oregon, October 1986.

\bibitem[Sch77]{Schm77}
J.W. Schmidt.
\newblock Some High Level Language Constructs for Data of Type Relation.
\newblock {\em ACM Transactions on Database Systems}, 2(3), September 1977.

\bibitem[SDDS86]{SDD*86}
J.T. Schwartz, R.B.K. Dewar, E.~Dubinski, and E.~Schonberg.
\newblock {\em Programming with Sets: An Introduction to SETL}.
\newblock Texts and Monographs in Computer Science. Springer-Verlag, 1986.

\bibitem[SEM88]{SEM88}
J.W. Schmidt, H.~Eckhardt, and F.~Matthes.
\newblock {DBPL Report}.
\newblock DBPL-Memo 111-88, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, West Germany, 1988.

\bibitem[SFL81]{SFL81}
J.M. Smith, S.~Fox, and T.~Landers.
\newblock Reference Manual for Adaplex.
\newblock Technical report, Computer Corporation of America, Cambridge, Mass.,
  January 1981.

\bibitem[SM89]{ScMa89}
J.W. Schmidt and F.~Matthes.
\newblock Advances in Database Programming: On Concepts, Languages and
  Methodologies.
\newblock In {\em Proc. 16th SOFSEM'89}, \v{Z}diar, High Tatra, \v{C}SSR,
  December 1989.
\newblock Available through Hamburg University.

\bibitem[SM90a]{ScMa90}
J.W. Schmidt and F.~Matthes.
\newblock {DBPL} Language and System Manual.
\newblock Esprit Project 892 MAP 2.3, Fachbereich Informatik, Universit\"at
  Hamburg, West Germany, April 1990.

\bibitem[SM90b]{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[SM91]{ScMa90b}
J.W. Schmidt and F.~Matthes.
\newblock Naming Schemes and Name Space Management in the DBPL Persistent
  Storage System.
\newblock In {\em Proc. of the Fourth Int. Workshop on Persistent Object
  Systems}. Morgan Kaufmann Publishers, January 1991.

\bibitem[SS77]{SmSm77}
J.M. Smith and D.C.P. Smith.
\newblock Database Abstractions: Aggregation and Generalization.
\newblock {\em ACM Transactions on Database Systems}, 2(2):105--133, June 1977.

\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 (to appear)}, Lecture Notes in Computer Science, 1991.

\bibitem[SSS90]{SFSS90}
L.~Stemple, D.~Fegaras, T.~Sheard, and A.~Socorro.
\newblock Exceeding the Limits of Polymorphism in Database Programming
  Languages.
\newblock In {\em Advances in Database Technology, EDBT '90}, volume 416 of
  {\em Lecture Notes in Computer Science}, pages 269--285. Springer-Verlag,
  1990.

\bibitem[Sto90]{Ston90}
M.~Stonebraker.
\newblock Special Issue on Database Prototype Systems.
\newblock {\em IEEE Transactions on Knowledge and Data Engineering}, 2(1),
  March 1990.

\bibitem[Wad90]{Wadl90}
P.~Wadler.
\newblock Comprehending Monads.
\newblock In {\em ACM Conference on Lisp and Functional Programming}, Nice,
  June 1990.

\bibitem[WL81]{WeLi81}
B.~Weihl and B.~Liskov.
\newblock Specification and Implementation of Resilient Atomic Data Types.
\newblock {\em Proc. ACM SIGPLAN Symp. on Prog. Lang. Issues in Softw. Syst.
  ACM SIGPLAN Not.}, 16(5), May 1981.

\end{thebibliography}