The ITRS workshop series aim at bringing together researchers working on both the theory and practical applications of systems based on intersection types and related approaches .
Proceedings Fifth Workshop on Intersection Types and Related Systems / E.Pimentel; B. Venneri; J. Wells. - ELETTRONICO. - 45:(2011), pp. 1-2. (Intervento presentato al convegno ITRS 2010 tenutosi a Edinburgh, U.K nel 9th july 2010) [10.4204/EPTCS.45].
Proceedings Fifth Workshop on Intersection Types and Related Systems
VENNERI, BATTISTINA;
2011
Abstract
The ITRS workshop series aim at bringing together researchers working on both the theory and practical applications of systems based on intersection types and related approaches .
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
