- Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. ITRS 2010: 45-58 - Jana Dunfield:
Untangling Typechecking of Intersections and Unions. ITRS 2010: 59-70 - Luca Padovani:
Session Types = Intersection Types + Union Types. ITRS 2010: 71-89 - Vilhelm Sjöberg, Aaron Stump:
Equality, Quasi-Implicit Products, and Large Eliminations. ITRS 2010: 90-100 - Elaine Pimentel, Betti Venneri, Joe B. Wells:
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010 [contents] - 2005
- Mario Coppo, Ferruccio Damiani:
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004. Electronic Notes in Theoretical Computer Science 136, Elsevier 2005 [contents] - 2004
- Fabio Alessi, Mariangiola Dezani-Ciancaglini:
Type Preorders and Recursive Terms. ITRS 2004: 3-21 - Steffen van Bakel:
Intersection and Union Types for chi. ITRS 2004: 203-227 - Gérard Boudol, Pascal Zimmer:
On Type Inference in the Intersection Type Discipline. ITRS 2004: 23-42 - Sébastien Carlier, J. B. Wells:
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. ITRS 2004: 173-202 - Daniel de Carvalho:
Intersection Types for Light Affine Lambda Calculus. ITRS 2004: 133-152 - Mario Coppo, Ferruccio Damiani:
Preface. ITRS 2004: 1-2 - Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Intersection and Union Types in the lambda-my-my/tilde-calculus. ITRS 2004: 153-172 - J. J. Hallett, Assaf J. Kfoury:
Programming Examples Needing Polymorphic Recursion. ITRS 2004: 57-102 - Luigi Liquori, Simona Ronchi Della Rocca:
Towards an Intersection Typed System à la Church. ITRS 2004: 43-56 - Sergio Maffeis:
Sequence Types for the pi-calculus. ITRS 2004: 117-132 - Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca:
Lazy Strong Normalization. ITRS 2004: 103-116 - 2003
- Steffen van Bakel:
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(1), Elsevier 2003 [contents] - 2002
- Fabio Alessi, Stefania Lusin:
Simple Easy Terms. ITRS 2002: 1-18 - Steffen van Bakel:
Strongly Normalising Cut-Elimination with Strict Intersection Types. ITRS 2002: 19-36 - Steffen van Bakel:
Preface. ITRS 2002: 182-183 - Sébastien Carlier:
Polar Type Inference with Intersection Types and omega. ITRS 2002: 37-52 - Judicaël Courant:
Strong Normalization with Singleton Types. ITRS 2002: 53-71 - Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama:
The Relevance of Semantic Subtyping. ITRS 2002: 88-105 - Silvia Ghilezan, Silvia Likavec:
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. ITRS 2002: 106-123 - Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells:
Implementing Compositional Analysis Using Intersection Types With Expansion Variables. ITRS 2002: 124-148 - Daniel Leivant:
Feasible functionals and intersection of ramified types. ITRS 2002: 149-162 - Frank Pfenning:
Invited talk: Tri-Directional Type Checking. ITRS 2002 - Simona Ronchi Della Rocca:
Intersection Typed lambda-calculus. ITRS 2002: 163-181 - Ugo de'Liguoro:
Subtyping in Logical Form. ITRS 2002: 72-87