| Start Time | Title | Authors |
|---|---|---|
| 11:30 | A Gradual Intersection Typed Calculus | Pedro Ângelo and Mário Florido |
| 11:45 | Intersection Types for a Computational Lambda-Calculus with Global State | Ugo De’Liguoro and Riccardo Treglia |
| 11:55 | The syntactic tale of the oracle and the trees | Martin Baillon and Pierre-Marie Pédrot |
| 12:10 | Novel rules of β-conversion in partial type theory | Jiří Raclavský and Petr Kuchyňka |
Novel rules of β-conversion in partial type theory
1 file(s) 350.09 KB
A Gradual Intersection Typed Calculus
1 file(s) 298.92 KB
Intersection Types for a Computational λ-Calculus with Global State
1 file(s) 214.50 KB
Event Timeslots (1)
Tuesday
-
chair: Silvia Ghilezan
Leave a Comment