Proceedings Eighth Workshop on Intersection Types and Related Systems
Abstract
This volume contains a final and revised selection of papers presented at the Eighth Workshop on Intersection Types and Related Systems (ITRS 2016), held on June 26, 2016 in Porto, in affiliation with FSCD 2016.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2017
- DOI:
- 10.48550/arXiv.1702.01874
- arXiv:
- arXiv:1702.01874
- Bibcode:
- 2017arXiv170201874K
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages;
- F.4.1;
- F.3.2
- E-Print:
- EPTCS 242, 2017