Program of ITRS

Friday, July 9th

Friday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited talk
Chair: Betti Venneri
Location: AT 2.11
09:00 Adriana Compagnoni (Stevens Inst. of Technology)
Relating Church-style and Curry-style Subtyping
10:30‑11:30 Session Types
Chair: Joe Wells
Location: AT 2.11
10:30 Luca Padovani
Session Types = Intersection Types + Union Types
11:00 Elena Giachino
On Semantic Subtyping and Safe Object-Oriented Sessions
11:30‑12:30 Program Properties
Chair: Mariangiola Dezani-Ciancaglini
Location: AT 2.11
11:30 Joshua Dunfield
Untangling Typechecking of Intersections and Unions
12:00 Vilhelm Sjöberg and Aaron Stump
Equality, Quasi-Implicit Products, and Large Eliminations
14:00‑15:00 Invited talk
Chair: Silvia Ghilezan
Location: AT 2.11
14:00 Simona Ronchi Della Rocca (Univ. of Torino)
Intersection and Union Logic
15:30‑16:30 Extended Lambda Calculus
Chair: Joshua Dunfield
Location: AT 2.11
15:30 Steffen van Bakel
Sound and Complete Typing for Lambda-Mu
16:00 Paola Giannini, Mariangiola Dezani-Ciancaglini and Elena Zucca
Intersection types for unbind and rebind (Extended Abstract)