09:55-10:00 | Opening |
10:00-10:40 | Naohiko Hoshino (Kyoto University) |
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy | |
11:00-11:40 | Craig Pastro (Kyushu University) |
Complementing Comonads | |
(lunch break) | |
13:30-14:30 | Robin Cockett (University of Calgary) |
Differential Categories | |
15:00-15:40 | Masahiro Hamano (JST) |
A Polarized Int Construction | |
16:00-16:40 | Shin-ya Katsumata (Kyoto University) |
Relating Computational Effects by TT-Lifting | |
17:00-17:40 | Ryu Hasegawa (University of Tokyo) |
A Categorical Reduction System and Its Properties | |
17:40-17:45 | Closing |
(dinner) |