Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
TL;DR
This collection of papers from ITRS 2016 explores advanced intersection type systems and related computational frameworks, highlighting recent theoretical developments and their implications in type theory and programming languages.
Contribution
Provides a comprehensive overview of the latest research in intersection types and related systems, including new theoretical insights and potential applications.
Findings
New intersection type systems proposed
Theoretical frameworks extended and refined
Potential applications in programming language design
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.
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.