ITRS 2010 Accepted Papers

Equality, Quasi-Implicit Products, and Large Eliminations
Sound and Complete Typing for Lambda-Mu
Session Types = Intersection Types + Union Types
Intersection types for unbind and rebind  (Extended Abstract)
Untangling Typechecking of Intersections and Unions
On Semantic Subtyping and Safe Object-Oriented Sessions