[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [CoFI] Comments on CASL v0.99 DRAFT

To: cofi-language@brics.dk
Subject: Re: [CoFI] Comments on CASL v0.99 DRAFT
From: Egidio Astesiano <astes@disi.unige.it>
Date: Tue, 14 Apr 1998 15:44:42 +0200 (MET DST)
In-Reply-To: <199804141235.OAA12028@daimi.aau.dk>
References: <199804121713.TAA08025@daimi.aau.dk> (message from TillMossakowski on Sun, 12 Apr 1998 19:13:32 +0200 (MET DST))
Reply-To: cofi-language@brics.dk
Sender: owner-cofi-language@brics.dk

In response to Till's proposal for empty carriers and Don's and Peter's
comments.

I would rather agree with Till's proposal and Peter's comment; I can see
an analogue of Till's solution in the distinction we have between total
and (possibily ) partial functions; so it looks a reasonable trick that we
have already adopted.
Regards,
Egidio


Prof. Egidio Astesiano
Director
DISI - Dipartimento di Informatica e Scienze dell'Informazione
Universita' di Genova
Via Dodecaneso 35
16146  Genova
Italy

Phone   ++39 10 353 6703
Fax     ++39 10 353 6699
Mobile  ++39-(0)335-8084769
e-mail  astes@disi.unige.it
http://www.disi.unige.it

Follow-Ups:
- Re: [CoFI] Comments on CASL v0.99 DRAFT
  - From: "Don Sannella" <dts@dcs.ed.ac.uk>

References:
- Re: [CoFI] Comments on CASL v0.99 DRAFT
  - From: Till Mossakowski <till@informatik.uni-bremen.de>
- Re: [CoFI] Comments on CASL v0.99 DRAFT
  - From: "Don Sannella" <dts@dcs.ed.ac.uk>

Prev by Date: Re: [CoFI] Comments on CASL v0.99 DRAFT
Next by Date: Re: [CoFI] Comments on CASL v0.99 DRAFT
Prev by thread: Re: [CoFI] Comments on CASL v0.99 DRAFT
Next by thread: Re: [CoFI] Comments on CASL v0.99 DRAFT
Index(es):
- Date
- Thread