Proceedings Eighth Workshop on Intersection Types and Related Systems
classification
💻 cs.LO
cs.PL
keywords
eighthintersectionrelatedsystemstypesworkshopaffiliationcontains
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.