Proceedings Sixth Workshop on Intersection Types and Related Systems
St\'ephane Graham-Lengrand (CNRS - \'Ecole Polytechnique), Luca, Paolini (Universit\`a di Torino)
TL;DR
This collection of workshop proceedings presents recent research on intersection types and related systems, focusing on theoretical foundations and practical applications in type systems for programming languages.
Contribution
It compiles diverse research contributions on intersection types, including theoretical advancements and practical implementations, from the ITRS 2012 workshop.
Findings
Advances in intersection type theory
Applications of intersection types in programming languages
New insights into type system design
Abstract
This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012). The ITRS workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches (e.g., union types, refinement types, behavioural types, recursive types, and so on).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.