[BCC+96]-
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, the Hopkins Objects
Group (Jonathan Eifrig, Scott Smith, Valery Trifonov), Gary T.
Leavens, and Benjamin Pierce.
On binary methods.
Theory and Practice of Object Systems, 1(3):221--242, 1996.
- [BFP97]
-
Kim B. Bruce, Adrian Fiech, and Leaf Petersen.
Subtyping is not a good ``match'' for object-oriented languages.
In ECOOP, number 1241 in LNCS, pages 104--127. Springer-Verlag,
1997.
- [BOW98]
-
Kim B. Bruce, Martin Odersky, and Philip Wadler.
A statically safe alternative to virtual types.
In Informal proceedings of the FOOL'5 workshop, 1998.
Available electronically at http://pauillac.inria.fr/~remy/fool/.
- [Bru95]
-
Kim B. Bruce.
Typing in object-oriented languages: Achieving expressibility and
safety.
Revised version to appear in Computing Surveys, November 1995.
- [Bru97]
-
Kim B. Bruce.
Increasing java's expressiveness with ThisType and match bounded
polymorphism.
Technical report, Williams College, 1997.
- [Bru98]
-
Kim B. Bruce.
Do parametric types beat virtual types?
Private Email discussion, October 1998.
- [BSvG95]
-
Kim B. Bruce, Angela Schuett, and Robert van Gent.
Polytoil: A type-safe polymorphic object-oriented language.
In ECOOP, number 952 in LNCS, pages 27--51. Springer Verlag,
1995.
- [BV99]
-
Kim B. Bruce and Joseph C. Vanderwaart.
Sematics-driven language design: Type-safe virtual types in
object-oriented languages.
Available electronically at http://www.cs.williams.edu/~kim/,
February 1999.
- [Car90]
-
Luca Cardelli.
Notes about F<:w.
Unpublished notes, October 1990.
- [CCH+89]
-
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell.
F-bounded quantification for object-oriented programming.
In Fourth International Conference on Functional Programming
Languages and Computer Architecture, pages 273--280, September 1989.
- [EST95a]
-
J. Eifrig, S. Smith, and V. Trifonov.
Sound polymorphic type inference for objects.
In OOPSLA, 1995.
- [EST95b]
-
J. Eifrig, S. Smith, and V. Trifonov.
Type inference for recursively constrained types and its application
to OOP.
In Mathematical Foundations of Programming Semantics, 1995.
- [GHJV95]
-
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
Design Patterns.
Addison-Wesley, 1995.
- [HP98]
-
Martin Hofmann and Benjamin C. Pierce.
Type destructors.
In Informal proceedings of the FOOL'5 workshop, 1998.
Available electronically at http://pauillac.inria.fr/~remy/fool/.
- [IP99]
-
Atsushi Igarashi and Benjamin C. Pierce.
Foundations for virtual types.
In Informal proceedings of the FOOL'6 workshop, 1999.
Available electronically at http://www.cs.williams.edu/~kim/FOOL/FOOL6.html.
- [KMMPN87]
-
Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Moller-Pedersen, and Kristen
Nygaard.
The BETA programming language.
In Bruce Shriver and Peter Wegner, editors, Research Directions
in Object-Oriented Programming, pages 7--48. The MIT Press, Cambridge, Mass,
1987.
- [Ler96]
-
Xavier Leroy.
The Objective Caml system (version 2.00).
Software and documentation available on the Web,
http://caml.inria.fr/, 1996.
- [OW97a]
-
Martin Odersky and Philip Wadler.
Pizza into java: Translating theory into practice.
In Proc. 24th symposium Principles of Programming Languages,
pages 146--159. ACM Press, January 1997.
- [OW97b]
-
Martin Odersky and Philip Wadler.
Pizza into java: Translating theory into practice.
In 24'th ACM Symposium on Principles of Programming Languages,
Paris, January 1997.
- [PS94]
-
Jens Palsberg and Michael I. Schwartzback.
Object Oriented Type Systems.
Wiley, 1994.
- [Rém90]
-
Didier Rémy.
Algèbres Touffues. Application au Typage Polymorphe des
Objets Enregistrements dans les Langages Fonctionnels.
Thèse de doctorat, Université de Paris 7, 1990.
- [Rém94]
-
Didier Rémy.
Type inference for records in a natural extension of ML.
In Carl A. Gunter and John C. Mitchell, editors, Theoretical
Aspects Of Object-Oriented Programming. Types, Semantics and Language
Design. MIT Press, 1994.
- [RV98]
-
Didier Rémy and Jérôme Vouillon.
Objective ML: An effective object-oriented extension to ML.
Theoretical And Practice of Objects Systems, To appear, 1998.
A preliminary version appeared in the proceedings of the 24th ACM
Conference on Principles of Programming Languages, 1997.
- [Sag95]
-
Camille le Moniès de Sagazan.
Un système de types étiquetés polymorphes pour typer les
calculs de processus à liaisons noms-canaux dynamiques.
Thèse de doctorat, Université Paul Sabatier, Toulouse,
November 1995.
(Also CNRS/LAAS report 95077).
- [Sha96]
-
David Shang.
Is a cow an animal ?
Unpublished note, January 1996.
- [SP94]
-
Martin Steffen and Benjamin C. Pierce.
Higher-order subtyping.
Technical report ECS-LFCS-94-280, University of Edinburgh, February
1994.
- [Tor98]
-
Mads Torgersen.
Virtual types are statically safe.
In Informal proceedings of the FOOL'5 workshop, 1998.
Available electronically at http://pauillac.inria.fr/~remy/fool/.
- [Wad98]
-
Philip Wadler.
Do parametric types beat virtual types?
Private Email discussion, October 1998.
- [Wan87]
-
Mitchell Wand.
Complete type inference for simple objects.
In D. Gries, editor, Second Symposium on Logic In Computer
Science, pages 207--276, Ithaca, New York, June 1987. IEEE Computer
Society Press.