Volume 136, 19 July 2005

Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004)

• 
  Mario Coppo, Ferruccio Damiani: Preface. 1-2
• 
  Fabio Alessi, Mariangiola Dezani-Ciancaglini: Type Preorders and Recursive Terms. 3-21
• 
  Gérard Boudol, Pascal Zimmer: On Type Inference in the Intersection Type Discipline. 23-42
• 
  Luigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. 43-56
• 
  J. J. Hallett, Assaf J. Kfoury: Programming Examples Needing Polymorphic Recursion. 57-102
• 
  Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. 103-116
• 
  Sergio Maffeis: Sequence Types for the pi-calculus. 117-132
• 
  Daniel de Carvalho: Intersection Types for Light Affine Lambda Calculus. 133-152
• 
  Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Intersection and Union Types in the lambda-my-my/tilde-calculus. 153-172
• 
  Sébastien Carlier, J. B. Wells: Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. 173-202
• 
  Steffen van Bakel: Intersection and Union Types for chi. 203-227