Skip to content

TYPES 2021

  • About
  • Post-Proceedings TYPES 2021
    • Post-Proceedings Call
  • Registration
  • Programme
    • Programme
    • Accepted Contributions
  • Call for Contributions
  • Contact
  • Privacy Policy

Category: New Type Theories

Using Two-Level Type Theory for Staged Compilation

Andr´as Kov´acs

Type theories without contexts

Andrej Bauer and Philipp G. Haselwarter

Syntax for two-level type theory

Roberta Bonacina and Benedikt Ahrens

Native Type Theory

Christian Williams and Michael Stay

Functorial Adapters

Conor Mc Bride and Fredrik Nordvall Forsberg

Search

TYPES 2021

This website is maintained by Henning Basold and hosted by the Leiden Institute of Advanced Computer Science.

© 2025 TYPES 2021 | Privacy Policy | Proudly powered by WordPress