Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!sun-barr!cs.utexas.edu!milano!cleo!power
From: power@cleo.sw.mcc.com (Leigh Power)
Newsgroups: comp.lang.eiffel
Subject: Re: type theory
Summary: two more OOP type theory references
Message-ID: <2520@cleo.sw.mcc.com>
Date: 22 Jun 89 22:13:51 GMT
References: <910@clyde.Concordia.CA>
Organization: MCC, Austin, TX
Lines: 23

In addition to Cardelli, you might want to look at the following:

  Futatsugi, K., Goguen, J., Jouannaud, J-P., and Meseguer, J.,
  "Principles of OBJ2",
  Proceedings of 12th Anual Symposium on Principles of Programming
  Languages (New Orleans, La., Jan. 1985).
  ACM, New York, pp. 52-66.

  Danforth, S. and Tomlinson, C.,
  "Type Theories and Object-Oriented Programming",
  ACM Computing Surveys, Vol. 20, No. 1, March 1988, pp. 29-72.

Also, you might want to look at an updated version of Cardelli's
work in:

  Cardelli, L. and Wegner, P.,
  "On Understanding Types, Data Abstraction, and Polymorphism",
  ACM Computing Surveys, Vol. 17, No. 4, December 1985, pp. 471-522.


Happy reading!

Leigh Power