Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!apple!bloom-beacon!clyde!concour!bennett
From: bennett@concour.CS.Concordia.CA (Anne Bennett)
Newsgroups: comp.lang.eiffel
Subject: type theory
Summary: is anyone working on this?
Message-ID: <910@clyde.Concordia.CA>
Date: 16 Jun 89 03:03:29 GMT
Sender: news@Clyde.Concordia.CA
Reply-To: bennett@concour.CS.Concordia.CA (Anne Bennett)
Organization: Concordia University, Montreal Quebec
Lines: 13


	A group of researchers at Concordia University is trying to develop
a theory for types, classes, and inheritance in statically typed OOPLs such
as Eiffel.  We are not satisfied with Cardelli's approach [Cardelli, Luca.
1984. "A Semantics of Multiple Inheritance" in Kahn, G., McQueen, D.B., and
Plotkin, G. (eds).  Semantics of Data Types.  Springer-Verlag, Lecture Notes
in Computer Science #173, pp. 51-68].  We may or may not use denotational
semantics.
	Is anyone out there doing similar work? If so, we'd like to hear
from you.

Anne Bennett,   bennett@concour.cs.concordia.ca
grad student, Computer Science, Concordia University, Montreal, Canada