\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Abadi \bgroup \em et al.\egroup
  }{1989}]{ACPP90}
Abadi, M., Cardelli, L., Pierce, B.~C., and Plotkin, G.D.
\newblock Dynamic typing in a statically typed language.
\newblock Digital Systems Research Center Reports~47, DEC SRC Palo Alto, Juni
  1989.

\bibitem[\protect\citeauthoryear{Abadi \bgroup \em et al.\egroup
  }{1990}]{ACCL90}
Abadi, M., Cardelli, L., Curien, P.-L., and L{\'e}vy, J.-J.
\newblock Explicit substitutions.
\newblock Digital Systems Research Center Reports~54, DEC SRC Palo Alto,
  Februar 1990.

\bibitem[\protect\citeauthoryear{Abadi \bgroup \em et al.\egroup
  }{1992}]{ACPR92}
Abadi, M., Cardelli, L., Pierce, B., and R\'emy, D.
\newblock Dynamic typing in polymorphic languages.
\newblock In {\em Proceedings of the ACM SIGPLAN Workshop on ML and its
  Applications}, Juni 1992.

\bibitem[\protect\citeauthoryear{Atkinson and Morrison}{1988}]{AtMo85}
Atkinson, M.P. and Morrison, R.
\newblock Types, bindings and parameters in a persistent environment.
\newblock In Atkinson, M.P., Buneman, P., and Morrison, R., editors, {\em Data
  Types and Persistence}, Topics in Information Systems. Springer-Verlag, 1988.

\bibitem[\protect\citeauthoryear{Brown and Rosenberg}{1991}]{BrRo90}
Brown, A.L. and Rosenberg, J.
\newblock Persistent object stores: An implementation technique.
\newblock In {\em Proceedings of the Fourth International Workshop on
  Persistent Object Systems, Martha's Vineyard, Massachusetts}. Morgan Kaufmann
  Publishers, Januar 1991.

\bibitem[\protect\citeauthoryear{Burstall and Lampson}{1984}]{BuLa84}
Burstall, R. and Lampson, B.
\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[\protect\citeauthoryear{Cardelli and Mitchell}{1989}]{CaMi89}
Cardelli, L. and Mitchell, J.C.
\newblock Operations on records.
\newblock Digital Systems Research Center Reports~48, DEC SRC Palo Alto, August
  1989.

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

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

\bibitem[\protect\citeauthoryear{Cardelli}{1990}]{Card90}
Cardelli, L.
\newblock The {Quest} language and system (tracking draft).
\newblock Digital {Systems} {Research} {Center}, DEC SRC Palo Alto, 1990.
\newblock (shipped as part of the Quest V.12 system distribution).

\bibitem[\protect\citeauthoryear{Cardelli}{1992a}]{Card92a}
Cardelli, L.
\newblock Extensible records in a pure calculus of subtyping.
\newblock Digital Systems Research Center Reports~81, DEC SRC Palo Alto, Januar
  1992.

\bibitem[\protect\citeauthoryear{Cardelli}{1992b}]{Card92}
Cardelli, L.
\newblock F-sub, the system.
\newblock Digital systems research center, DEC SRC Palo Alto, Februar 1992.
\newblock (shipped as part of the Fsub 1.4 system distribution).

\bibitem[\protect\citeauthoryear{Connor \bgroup \em et al.\egroup
  }{1991}]{CMR91}
Connor, R., McNally, D., and Morrison, R.
\newblock Subtyping and assignment in database programming languages.
\newblock In {\em Database Programming Languages: Bulk Types and Persistent
  Data}, pages 363--382, Nafplion, Greece, 1991. Morgan Kaufmann Publishers.

\bibitem[\protect\citeauthoryear{{de Bruijn}}{1972}]{deBr72}
{de Bruijn}, N.G.
\newblock Lambda-calculus notation with nameless dummies: a tool for automatic
  formula manipulation with application to the {Church-Rosser} theorem.
\newblock {\em Indag.~Math.}, 34(5):381--392, 1972.

\bibitem[\protect\citeauthoryear{Dearle \bgroup \em et al.\egroup
  }{1989}]{DCBM89}
Dearle, A., Connor, R., Brown, F., and Morrison, R.
\newblock {Napier88} -- a database programming language?
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Salishan, Oregon}, Juni 1989.

\bibitem[\protect\citeauthoryear{MacQueen \bgroup \em et al.\egroup
  }{1986}]{MPS86}
MacQueen, D.B., Plotkin, G.D., and Sethi, R.
\newblock An ideal model for recursive polymorphic types.
\newblock {\em Information and Control}, 71:95--130, 1986.

\bibitem[\protect\citeauthoryear{Matthes and Schmidt}{1991a}]{MaSc91b}
Matthes, F. and Schmidt, J.W.
\newblock Bulk types: Built-in or add-on?
\newblock In {\em Proceedings of the Third International Workshop on Database
  Programming Languages, Nafplion, Greece}. Morgan Kaufmann Publishers,
  September 1991.
\newblock (also appeared as TR FIDE/91/27).

\bibitem[\protect\citeauthoryear{Matthes and Schmidt}{1991b}]{MaSc91}
Matthes, F. and Schmidt, J.W.
\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.

\bibitem[\protect\citeauthoryear{Matthes \bgroup \em et al.\egroup
  }{1991}]{MOS91}
Matthes, F., Ohori, A., and Schmidt, J.W.
\newblock Typing schemes for objects with locality.
\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/12).

\bibitem[\protect\citeauthoryear{Matthes}{1992}]{Matt92}
Matthes, F.
\newblock {\em Generic Database Programming: A Linguistic and Architectural
  Framework}.
\newblock PhD thesis, Fachbereich Informatik, Universit\"at Hamburg, Germany,
  September 1992.
\newblock (in German).

\bibitem[\protect\citeauthoryear{Morrison \bgroup \em et al.\egroup
  }{1987}]{MAD87}
Morrison, R., Atkinson, M.P., and Dearle, A.
\newblock Flexible incremental bindings in a persistent object store.
\newblock Persistent Programming Research Report~38, Univ. of St. Andrews,
  Dept. of Comp. Science, Juni 1987.

\bibitem[\protect\citeauthoryear{Ohori \bgroup \em et al.\egroup
  }{1989}]{OBBT89}
Ohori, A., Buneman, P., and Breazu-Tannen, V.
\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[\protect\citeauthoryear{Ohori}{1989}]{Ohor89}
Ohori, A.
\newblock {\em A Study of Semantics, Types and Languages for Databases and
  Object-Oriented Programming}.
\newblock PhD thesis, University of Pennsylvania, 1989.

\bibitem[\protect\citeauthoryear{Pierce}{1992}]{Pier92}
Pierce, B.~C.
\newblock Bounded quantification is undecidable.
\newblock In {\em Proceedings of the Nineteenth ACM Symposium on Principles of
  Programming Languages}, pages 305--315, Januar 1992.

\bibitem[\protect\citeauthoryear{R{\'e}my}{1991}]{Remy91}
R{\'e}my, D.
\newblock Type inference for records in a natural extension of ml.
\newblock Rapport de Recherche 1431, INRIA, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, May 1991.

\bibitem[\protect\citeauthoryear{Schmidt and Matthes}{1991}]{ScMa90b}
Schmidt, J.W. and Matthes, F.
\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, Januar 1991.

\bibitem[\protect\citeauthoryear{Schr\"oder and Matthes}{1992}]{SchMa92}
Schr\"oder, G. and Matthes, F.
\newblock Using the {Tycoon} compiler toolkit.
\newblock DBIS Tycoon Report 061-92, Fachbereich Informatik, Universit\"at
  Hamburg, Germany, May 1992.

\bibitem[\protect\citeauthoryear{Solomon}{1978}]{Solo78}
Solomon, M.
\newblock Type definitions with parameters.
\newblock In {\em Proceedings of the Fifth ACM Symposium on Principles of
  Programming Languages, Tucson, Arizona}, pages 31--38, Januar 1978.

\bibitem[\protect\citeauthoryear{Stansifer}{1988}]{Stan88}
Stansifer, R.
\newblock Type inference with subtypes.
\newblock In {\em Proc. 15th ACM Symposium on Principles of Programming
  Languages}, pages 88--97, 1988.

\bibitem[\protect\citeauthoryear{Wand}{1987}]{Wand87}
Wand, M.
\newblock Complete type inference for simple objects.
\newblock In {\em Proceedings of the Second Annual Symposium on Logic in
  Computer Science}, pages 37--44, Ithaca, New York, Juni 1987.

\end{thebibliography}
