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
Last update Tue Feb 14 04:17:30 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
