\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Abadi and Cardelli}{1995}]{AbCa95}
Abadi, M. and Cardelli, L.
\newblock On {Subtyping} and {Matching}.
\newblock In {\em Proceedings ECOOP'95}. Springer-Verlag, 1995.

\bibitem[\protect\citeauthoryear{Albano \bgroup \em et al.\egroup
  }{1994}]{AGO94}
Albano, A., Ghelli, G., and Orsini, R.
\newblock Fibonacci reference manual: A preliminary version.
\newblock FIDE Technical Report Series FIDE/94/102, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{Atkinson}{1996}]{Atki96}
Atkinson, M.P.
\newblock {\em Fully Integrated Data Environments}.
\newblock Springer-Verlag (to appear), 1996.

\bibitem[\protect\citeauthoryear{Birell \bgroup \em et al.\egroup
  }{1993}]{BNOW93}
Birell, A., Nelson, G., Owicki, S., and Wobber, E.
\newblock Network objects.
\newblock In {\em 14th ACM Symposium on Operating System Principles}, pages
  217--230, June 1993.

\bibitem[\protect\citeauthoryear{Black and Hutchinson}{1990}]{BlHu90}
Black, Andrew~P. and Hutchinson, Norman~C.
\newblock Typechecking polymorphism in {Emerald}.
\newblock Technical Report TR 90-34, Dept. of Computer Science, University of
  Arizona, December 1990.

\bibitem[\protect\citeauthoryear{Bobrow \bgroup \em et al.\egroup
  }{1988}]{BDG*88}
Bobrow, D.G., De~Michiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., and
  Moon, D.A.
\newblock Common lisp object system specification.
\newblock {\em ACM SIGPLAN Notices}, 23, September 1988.

\bibitem[\protect\citeauthoryear{Bracha and Griswold}{1993}]{BrGr93}
Bracha, Gilad and Griswold, David.
\newblock {Strongtalk:} typechecking {Smalltalk} in a production environment.
\newblock In {\em Proceedings OOPSLA'93}, pages 215--230, October 1993.

\bibitem[\protect\citeauthoryear{Bruce \bgroup \em et al.\egroup
  }{1995a}]{BCC*95}
Bruce, K.B., Cardelli, L., Castagna, G., {The Hopkins Object Group}, Leavens,
  G.T., and Pierce, B.
\newblock On binary methods.
\newblock Technical report, DEC SRC Research Report, 1995.

\bibitem[\protect\citeauthoryear{Bruce \bgroup \em et al.\egroup
  }{1995b}]{Bruc95}
Bruce, K.B., Schuett, A., and Gent, R. van.
\newblock {PolyTOIL:} a type-safe polymorphic object-oriented language.
\newblock In {\em Proceedings ECOOP'95}. Springer-Verlag, 1995.

\bibitem[\protect\citeauthoryear{Bruce}{1994}]{Bruc94}
Bruce, Kim~B.
\newblock A paradigmatic object-oriented programming language: Design, static
  typing and semantics.
\newblock {\em Journal of Functional Programming}, 4(2), April 1994.

\bibitem[\protect\citeauthoryear{Canning \bgroup \em et al.\egroup
  }{1989}]{CCHO89}
Canning, P.S., Cook, W.R., Hill, W.L., and Olthoff, W.
\newblock F-bounded polymorphism for object-oriented programming.
\newblock In {\em Proceedings of Conference on Functional Proramming Languages
  and Computer Architecture (FPCA'89), Imperial College, London}, pages
  273--280, September 1989.

\bibitem[\protect\citeauthoryear{Cardelli and Longo}{1991}]{CaLo91}
Cardelli, L. and Longo, G.
\newblock A semantic basis for {Q}uest.
\newblock {\em Journal of Functional Programming}, 1(4):417--458, October 1991.

\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 \bgroup \em et al.\egroup
  }{1994}]{CMA94}
Cardelli, L., Matthes, F., and Abadi, M.
\newblock Extensible grammars for language specialization.
\newblock In Beeri, C., Ohori, A., and Shasha, D.E., editors, {\em Proceedings
  of the Fourth International Workshop on Database Programming Languages,
  Manhatten, New York}, Workshops in Computing, pages 11--31. Springer-Verlag,
  February 1994.

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

\bibitem[\protect\citeauthoryear{Cardelli}{1993}]{Card93}
Cardelli, L.
\newblock An implementation of {F}$_{<:}$.
\newblock Technical Report~97, Digital Equipment Corporation, Systems Research
  Center, Palo-Alto, California, February 1993.

\bibitem[\protect\citeauthoryear{Castagna}{1994}]{Cast94}
Castagna, G.
\newblock Covariance and contravariance: conflict without a cause.
\newblock Technical Report liens-94-18, LIENS, October 1994.

\bibitem[\protect\citeauthoryear{Chambers and Leavens}{1994}]{ChLe94}
Chambers, Craig and Leavens, Gary~T.
\newblock Typechecking and modules for multi-methods.
\newblock In {\em Proceedings OOPSLA '94}, volume~29 of {\em ACM SIGPLAN
  Notices}, pages 1--15. Association for Computing Machinery, October 1994.

\bibitem[\protect\citeauthoryear{Chambers and Ungar}{1991}]{ChUn91}
Chambers, C. and Ungar, D.
\newblock Making pure object-oriented languages practical.
\newblock In {\em Proceedings of the Object-Oriented Programming Systems,
  Languages and Applications Conference, Phoenix, Arizona}, pages 1--15,
  October 1991.

\bibitem[\protect\citeauthoryear{Chambers}{1993}]{Cham92}
Chambers, C.
\newblock Object-oriented multi-methods in {Cecil}.
\newblock In {\em Proceedings of the ECOOP'92 Conference, Uetrecht, the
  Netherlands}, pages 33--56. Springer-Verlag, July 1993.

\bibitem[\protect\citeauthoryear{Eifrig \bgroup \em et al.\egroup
  }{1994}]{ESTZ94}
Eifrig, J., Smith, S., Trifonov, V., and Zwarico, A.
\newblock Application of {OOP} type theory: State, decidability, integration.
\newblock In {\em Proceedings OOPSLA'94}, pages 16--30, October 1994.

\bibitem[\protect\citeauthoryear{Ellis and Stroustrup}{1990}]{ElSt90}
Ellis, M.A. and Stroustrup, B.
\newblock {\em The Annotated C++ Reference Manual}.
\newblock Addison-Wesley Publishing Company, 1990.

\bibitem[\protect\citeauthoryear{Gawecki and Matthes}{1996}]{GaMa95c}
Gawecki, A. and Matthes, F.
\newblock Exploiting persistent intermediate code representations in open
  database environments.
\newblock In {\em Proc. 5th EDBT Conference}, Avignon, France, March 1996.
\newblock (to appear).

\bibitem[\protect\citeauthoryear{Gawecki}{1992}]{Gawe92a}
Gawecki, A.
\newblock An optimizing compiler for {Smalltalk}.
\newblock Bericht FBI-HH-B-152/92, Fachbereich Informatik, Universit\"at
  Hamburg, Germany, September 1992.
\newblock In German.

\bibitem[\protect\citeauthoryear{Ghelli}{1991}]{Ghel91}
Ghelli, G.
\newblock A static type system for message passing.
\newblock In {\em Proceedings of the Object-Oriented Programming Systems,
  Languages and Applications Conference, Phoenix, Arizona}, pages 129--145,
  1991.

\bibitem[\protect\citeauthoryear{Goguen}{1990}]{Gogu90}
Goguen, J.A.
\newblock Higher-order functions considered unnecessary for higher-order
  programming.
\newblock In Turner, D., editor, {\em Research Topics in Functional
  Programming}, pages 309--351. Addison-Wesley Publishing Company, 1990.

\bibitem[\protect\citeauthoryear{Goldberg and Robson}{1983}]{GoRo83}
Goldberg, Adele and Robson, David.
\newblock {\em Smalltalk 80: the Language and its Implementation}.
\newblock Addison-Wesley, May 1983.

\bibitem[\protect\citeauthoryear{Hewitt}{1977}]{Hewi77}
Hewitt, C.
\newblock Viewing control structures as patterns of passing messages.
\newblock {\em Artificial Intelligence}, 8:323--364, 1977.

\bibitem[\protect\citeauthoryear{{H\"olzle}}{1994}]{Hoel94}
{H\"olzle}, U.
\newblock {\em Adaptive Optimization for {Self}: Reconciling high performance
  with Exploratory Programming}.
\newblock PhD thesis, Stanford University, August 1994.

\bibitem[\protect\citeauthoryear{Hutchinson}{1987}]{Hutc87}
Hutchinson, Norman~C.
\newblock {\em {Emerald}: An Object-Based Language for Distributed
  Programming}.
\newblock PhD thesis, University of Washington, September 1987.

\bibitem[\protect\citeauthoryear{Johnson and Foote}{1988}]{John88}
Johnson, Ralph~E. and Foote, Brian.
\newblock Designing reusable classes.
\newblock {\em Journal of Object-Oriented Programming}, 1(2), 1988.

\bibitem[\protect\citeauthoryear{Matthes and Schmidt}{1992}]{MaSc92a}
Matthes, F. and Schmidt, J.W.
\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[\protect\citeauthoryear{Meyer}{1988}]{Meye88}
Meyer, B.
\newblock {\em Object-oriented Software Construction}.
\newblock International Series in Computer Science. Prentice Hall, Englewood
  Cliffs, New Jersey, 1988.

\bibitem[\protect\citeauthoryear{Meyer}{1989}]{Mey89}
Meyer, B.
\newblock Static typing for {Eiffel}.
\newblock (Technical report distributed with Eiffel Release 2), July 1989.

\bibitem[\protect\citeauthoryear{Meyer}{1990}]{Meyer90}
Meyer, B.
\newblock Lessons from the design of the eiffel libraries.
\newblock {\em Communications of the ACM}, 33(9):69--88, September 1990.

\bibitem[\protect\citeauthoryear{Milner \bgroup \em et al.\egroup
  }{1990}]{MTH90}
Milner, R., Tofte, M., and Harper, R.
\newblock {\em The Definition of {Standard ML}}.
\newblock MIT Press, Cambridge, Massachusetts, 1990.

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

\bibitem[\protect\citeauthoryear{Pierce and Turner}{1993}]{PiTu93b}
Pierce, B.C. and Turner, D.N.
\newblock Statically typed friendly functions via partially abstract types.
\newblock Rapport de Recherche 1899, INRIA, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, May 1993.

\bibitem[\protect\citeauthoryear{Pierce}{1994}]{Pier94}
Pierce, B.~C.
\newblock Bounded quantification is undecidable.
\newblock {\em Information and Computation}, 112(1):131--165, July 1994.
\newblock Also in~ Carl A. Gunter and John C. Mitchell, editors, {\em
  Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and
  Language Design} (MIT Press, 1994).

\bibitem[\protect\citeauthoryear{Ungar and Smith}{1987}]{UnSm87}
Ungar, D. and Smith, R.B.
\newblock {Self}: The power of simplicity.
\newblock In {\em Proceedings of the Object-Oriented Programming Systems,
  Languages and Applications Conference, Orlando, Florida}, pages 227--242,
  1987.

\end{thebibliography}