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) |