New Type Theories

Start TimeTitleAuthors
10:00Syntax for two-level type theoryRoberta Bonacina and Benedikt Ahrens
10:15Using Two-Level Type Theory for Staged CompilationAndrás Kovács
10:25Native Type TheoryChristian Williams and Michael Stay
10:35Functorial AdaptersConor Mcbride and Fredrik Nordvall Forsberg
10:45Type theories without contextsAndrej Bauer and Philipp G. Haselwarter

Event Timeslots (1)

chair: Ambrus Kaposi

Leave a Comment

Your email address will not be published. Required fields are marked *