| Start Time | Title | Authors |
|---|---|---|
| 10:00 | Syntax for two-level type theory | Roberta Bonacina and Benedikt Ahrens |
| 10:15 | Using Two-Level Type Theory for Staged Compilation | András Kovács |
| 10:25 | Native Type Theory | Christian Williams and Michael Stay |
| 10:35 | Functorial Adapters | Conor Mcbride and Fredrik Nordvall Forsberg |
| 10:45 | Type theories without contexts | Andrej Bauer and Philipp G. Haselwarter |
Using Two-Level Type Theory for Staged Compilation
1 file(s) 213.63 KB
Type theories without contexts
1 file(s) 189.72 KB
Syntax for two-level type theory
1 file(s) 209.02 KB
Native Type Theory
1 file(s) 250.49 KB
Functorial Adapters
1 file(s) 193.42 KB
Event Timeslots (1)
Tuesday
-
chair: Ambrus Kaposi
Leave a Comment