Proceedings Fifth Workshop on Intersection Types and Related Systems

2011/01/21 by Elaine Pimentel, Betti Venneri, Joe Wells · 7 citations
Computer Science · #cs.LO #cs.PL

paper · pdf · doi:10.4204/eptcs.45

published as EPTCS 45, 2011

arxiv created 2011/01/21 · arxiv updated 2011/01/24

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).

Cited by

• Relating Church-Style and Curry-Style Subtyping
• Intersection Logic in sequent calculus style
• Sound and Complete Typing for lambda-mu
• Intersection types for unbind and rebind
• Session Types = Intersection Types + Union Types
• Equality, Quasi-Implicit Products, and Large Eliminations
• Untangling Typechecking of Intersections and Unions

Related

• Proceedings Sixth Workshop on Intersection Types and Related Systems
• Proceedings Seventh Workshop on Intersection Types and Related Systems
• Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
• Structural Rules and Algebraic Properties of Intersection Types
• Proceedings Third Workshop on Behavioural Types