08:55 to 09:00: | OPENING |
09:00 to 10:00: | INVITED SPEAKER (Session Chair: Joe Wells) |
Intersection Types and Properties of Lambda Terms
(Abstract)
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy) | |
10:00 to 10:30: | COFFEE |
10:30 to 12:30: | TALKS (Session Chair: Simona Ronchi Della Rocca) |
A Complete
Characterization of the Complete Intersection-Type Theories
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy), Furio Honsell, Fabio Alessi (Università di Udine, Italy) | |
Intersection Types and Topologies in Lambda Calculus
(Slides)
Silvia Ghilezan (University of Novi Sad, Yugoslavia) | |
Characterizing
Strongly Normalizing Terms for a Lambda Calculus with Generalized
Applications via Intersection Types
(Slides)
Ralph Matthes (Ludwig-Maximilians-Universität München, Germany) | |
What Entailment Can Do for Type Theory
Robert Meyer (Australian National University, Australia) | |
12:30 to 14:00: | LUNCH |
14:00 to 15:00: | INVITED SPEAKER (Session Chair: Joe Wells) |
An Intrinsic Semantics of Intersection Types
(Abstract)
(Slides)
(Long Follow-up
Paper)
(Short Follow-up
Paper)
John Reynolds (Carnegie Mellon University, USA) | |
15:00 to 15:30: | TALKS (Session Chair: Maribel Fernández) |
A Polar Type System
(Slides)
Trevor Jim (AT&T Research, USA) | |
15:30 to 16:00: | COFFEE |
16:00 to 17:00: | TALKS (Session Chair: Maribel Fernández) |
A Minimal System of Disjunctive Properties for Strictness Analysis
Grzegorz Grudzi'nski (Uniwersytet Warszawski, Poland) | |
Conjunctive Types
and Useless-Code Elimination
Ferruccio Damiani (Università di Torino, Italy) | |
17:00 to 17:15: | SHORT BREAK |
17:15 to 18:00: | PANEL DISCUSSION |
The Past, Present, and Future of Intersection Types
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy), Maribel Fernández (École Normale Supérieure, France) John Reynolds (Carnegie Mellon University, USA), Simona Ronchi Della Rocca (Università di Torino, Italy) Joe Wells (Chair) (Heriot-Watt University, Edinburgh, Scotland) | |
18:00 to 18:05: | CLOSING |