[TYPES] Looking for a type system

Mariangiola Dezani dezani at di.unito.it
Tue Oct 21 10:58:56 EDT 2008


You can look at

F. Barbanera, M. Dezani-Ciancaglini and U. de' Liguoro.  Intersection  
and Union Types: Syntax and Semantics,   Information and  
Computation,  119:202-230,  1995.


and the references there.

Regards Mariangiola

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica
Universita' di Torino
c.Svizzera 185, 10149 Torino (Italy)

e-mail :  dezani at di.unito.it
phone: 39-011-6706850
fax : 39-011-751603
mobile: 39-320-4359903 (preferred) 39-348-2251592

http://www.di.unito.it/~dezani

**********************************************************************
Unless unavoidable, no Word, Excel or PowerPoint attachments, please.
See http://www.gnu.org/philosophy/no-word-attachments.html
**********************************************************************

"L'ITALIA RIPUDIA LA GUERRA come strumento di offesa alla libertà  
degli altri
popoli e come mezzo di risoluzione delle controversie internazionali."
(Art. 11 della Costituzione della Repubblica Italiana)






More information about the Types-list mailing list