Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12)

Type de document :
Ouvrage (y compris édition critique et traduction)
EPTCS, 121, pp.1--93, 2013, 〈10.4204/EPTCS.121〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00912611
Contributeur : Stéphane Graham-Lengrand <>
Soumis le : lundi 2 décembre 2013 - 13:48:53
Dernière modification le : mercredi 14 novembre 2018 - 16:14:01

Identifiants

Collections

Citation

Stéphane Graham-Lengrand, Luca Paolini. Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12). EPTCS, 121, pp.1--93, 2013, 〈10.4204/EPTCS.121〉. 〈hal-00912611〉

Partager

Métriques

Consultations de la notice

201