Proceedings Eighth Workshop on Intersection Types and Related Systems
arXiv:1702.01874 · doi:10.4204/EPTCS.242
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.