[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