Program and Preliminary Proceedings 

                                                          

           Room B17a - Friday, June 29th

 Program in PDF


09:20-10:30 Invited talk
Chair: Luca Paolini
09:30 Giuseppe Castagna (Paris 7 Univ, PPS laboratory)
Intersection types: a programming language perspective
10:30-11,00  Coffee break
11:00‑12:00 Logical Properties
Chair: TBC
11:00 Jelena Ivetic, Pierre Lescanne, Silvia Ghilezan and Silvia Likavec.
Intersection types for explicit substitution with resource control
11:30 Simona Ronchi Della Rocca and Erika De Benedetti.
Bounding normalization time through intersection types
12:00
 Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi.
Toward isomorphism of intersection and union types

12:30-14:00  Lunch
14:30‑15:30: Intersection Types for Programming
Chair: TBC
14:30 Joshua Dunfield.
Annotations for Intersection Typechecking
15:00 Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof and Paweł Urzyczyn.
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis

15:30-16:00 Coffee break

16:00‑17:00 Extended Lambda Calculi
Chair: TBC
16:00 Steffen van Bakel, Franco Barbanera and Ugo De Liguoro.
Characterisation of Strongly Normalising Lambda-Mu Terms
16:30
Davide Ancona, Paola Giannini and Elena Zucca.
Reconciling positional and nominal binding

17:00                    The End

 

List of accepted papers

 
Steffen van Bakel, Franco Barbanera and Ugo De Liguoro. Characterisation of Strongly Normalising Lambda-Mu Terms
Jelena Ivetic, Pierre Lescanne, Silvia Ghilezan and Silvia Likavec. Intersection types for explicit substitution with resource control
Simona Ronchi Della Rocca and Erika De Benedetti. Bounding normalization time through intersection types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi. Toward isomorphism of intersection and union types
Joshua Dunfield. Annotations for Intersection Typechecking
Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof and Paweł Urzyczyn. Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis
Davide Ancona, Paola Giannini and Elena Zucca. Reconciling positional and nominal binding