Home Page for Intersection Types and Related Systems
A Brief Description of Intersection Types
The ITRS (Intersection Types and Related Systems) Workshops
Purpose
The ITRS workshops are held to bring together researchers
working on both the theory and practice of systems with
intersection types and related systems (e.g., union types,
refinement types, etc.).
The Events
- ITRS 2000 was colocated with ICALP 2000
in Geneva, Switzerland.
- ITRS 2002 was
colocated with LICS 2002 (part of FLoC 2002) in Copenhagen,
Denmark.
- ITRS 2004
was colocated with the joint meeting of ICALP 2004 and LICS
2004 in Turku, Finland.
- ITRS
2008 was colocated with
TYPES 2008 in Torino, Italy.
- ITRS 2010
will be colocated with LICS 2010 (as part of FLoC 2010) in
Edinburgh, Scotland.
Steering Committee
Links to Resources Related to Intersection Types