Proceedings Fifth Workshop on Intersection Types and Related Systems

TL;DR

This paper compiles research from the Fifth Workshop on Intersection Types and Related Systems, focusing on theoretical and practical advances in intersection types, union types, and related systems, fostering collaboration among researchers.

Contribution

It presents a collection of recent research contributions on intersection types and related systems from the ITRS 2010 workshop.

Findings

Advances in intersection type theories

Applications of union and refinement types

New insights into behavioral type systems

Abstract

This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on July 9th 2010, as part of FLoC 2010 and affiliated with LICS 2010. The ITRS workshop series aim at bringing 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, behavioral types).