Path: utzoo!attcan!uunet!lll-winken!ncis.llnl.gov!ncis!helios.ee.lbl.gov!nosc!ucsd!ucsbcsl!bertrand
From: bertrand@hub.ucsb.edu (Bertrand Meyer)
Newsgroups: comp.lang.eiffel
Subject: Re: On the Eiffel type system
Summary: Paper announcement
Message-ID: <1120@hub.ucsb.edu>
Date: 17 Jan 89 20:04:36 GMT
References: <1096@hub.ucsb.edu>
Organization: University of California, Santa Barbara
Lines: 24


	The article reference above mentioned that I was working on a paper
explaining and justifying the Eiffel type system. The paper expands
on the ideas sketched in the previous message, and gives a precise
definition of the Eiffel type rules, complementing the rules stated
in ``Object-Oriented Software Construction''. It was announced for this week
but will not be ready until early February.
(I will be away from my Santa Barbara office
until then and have ``almost'' been able to complete the paper before
departing in a few hours.)

	The paper is too big to be posted on the net (and anyway includes
math symbols and other features that make it impractical for this medium).
I will be glad to send a paper copy to anyone who requests it.
Please send a message to

	queries@eiffel.com

with a subject header saying just ``Type paper'' and a message text that
gives your postal address. You should expect to get the paper by February 15.


Bertrand Meyer
bertrand@eiffel.com