Strongtalk

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ACPP89	M. Abadi , L. Cardelli , B. Pierce , G. Plotkin, Dynamic typing in a statically-typed language, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.213-227, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75296]
	Ame90	Pierre America , Frank van der Linden, A parallel object-oriented language with inheritance and subtyping, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.161-168, September 1990, Ottawa, Canada
	BH91	Andrew P. Black and Norman Hutchinson. Typecheeking polymorphism in Emerald. Technical Report CRL91/1 (Revised), DEC Cambridge Research Lab, July 1991.
	BI82	Alan H. Borning , Daniel H. H. Ingalls, A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-141, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582168]
	BO87	Alan Borning , Tim O'Shea, Deltatalk: an empirically and aesthetically motivated simplification of the Smalltalk-80 language, European conference on object-oriented programming on ECOOP '87, p.1-10, October 1987, Paris, France
	Bru92	Kim Bruce. A paradigmatic objectoriented programming language" Design, static typing and semantics. Technical Report CS-92-01, Williams College, January 1992.
	Bru93a	Kim B. Bruce, Safe type checking in a statically-typed object-oriented programming language, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.285-298, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158650]
	Bru93b	Kim Bruce. Typechecking in TOOPLE is decidable. In Proc. of the A CM Conf. on Object-Oriented Programming, Systems, Languages and Applications, September 1993.
	Car84	Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
	CCH+89	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99392]
	CCHO89	P. S. Canning , W. R. Cook , W. L. Hill , W. G. Olthoff, Interfaces for strongly-typed object-oriented programming, Conference proceedings on Object-oriented programming systems, languages and applications, p.457-467, October 02-06, 1989, New Orleans, Louisiana, United States
	CHC90	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States [doi>10.1145/96709.96721]
	Coo92	William R. Cook, Interfaces and specifications for the Smalltalk-80 collection classes, conference proceedings on Object-oriented programming systems, languages, and applications, p.1-15, October 18-22, 1992, Vancouver, British Columbia, Canada
	Cur90	Pavel Curtis, Constrained qualification in polymorphic type analysis, Cornell University, Ithaca, NY, 1990
	CW85	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	GJ90	Justin O. Graver , Ralph E. Johnson, A type system for Smalltalk, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.136-150, December 1989, San Francisco, California, United States [doi>10.1145/96709.96722]
	Gra89	Justin Owen Graver. Type-Checking and Type.Inference for Object-Oriented Programming Languages. PhD thesis, University of Illinois at Urbana. Champaign, 1989.
	Hen91	Andreas V. Hense. Type inference for O'Small. Technical Report A 06/91, Fachbereich informatik, Universitaet des Sa~rlandes, October 1991.
	JGZ88	Ralph E. Johnson , Justin O. Graver , Laurance W. Zurawski, TS: an optimizing compiler for smalltalk, Conference proceedings on Object-oriented programming systems, languages and applications, p.18-26, September 25-30, 1988, San Diego, California, United States
	MTH90	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	Nel91	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	PS90	Jens Palsberg , Michael I. Schwartzbach, Type substitution for object-oriented programming, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.151-160, September 1990, Ottawa, Canada
	PS91a	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type inference, Conference proceedings on Object-oriented programming systems, languages, and applications, p.146-161, October 06-11, 1991, Phoenix, Arizona, United States
	PS91b	Jens Palsberg and Michael I. Schwartzbach. Static typing for object-oriented programming. Technical Report DAIMI PB-355, Aarhus University, Computer Science Department, June 1991.
	PS91c	Jens Palsberg , Michael I. Schwartzbach, What is Type-Safe Code Reuse?, Proceedings of the European Conference on Object-Oriented Programming, p.325-341, July 15-19, 1991
	Suz81	Norihisa Suzuki, Inferring types in Smalltalk, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.187-199, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567553]