ITRS PROGRAM
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:00 Session 34C: DCM/ITRS joint invited talk (joint with DCM)
Chair:
Location: Maths Seminar C4
09:00 | Quantitative types: from Foundations to Applications (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 38J
Chair:
Location: Maths Seminar C5
11:00 | Natural Deduction and Normalization Proofs for the Intersection Type Discipline (abstract) |
11:30 | Strong normalization of simple types through uniform intersection types. (abstract) |
12:00 | Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 40J
Chair:
Location: Maths Seminar C5
14:00 | Intersection Types for Unboundedness Problems (ITRS invited talk) (abstract) |
15:00 | Gradual Intersection Types (abstract) |
15:30-16:00Coffee Break
16:00-16:30 Session 42I
Chair:
Location: Maths Seminar C5
16:00 | Intersection Subtyping with Constructors (abstract) |
16:30-17:30 Session 43 (joint with DCM)
Chair:
Location: Maths Seminar C5
16:30 | Polyadic approximations and intersection types (ITRS/DCM joint invited talk) (abstract) |