2000 character limit reached
Proceedings Eighth Workshop on Intersection Types and Related Systems (1702.01874v2)
Published 7 Feb 2017 in cs.LO and cs.PL
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.