Type theories for reactive programming

Møgelberg, Rasmus Ejlers (PI)
Vezzosi, Andrea (CoI)
Graulund, Christian Uldal (CoI)
Kristensen, Magnus Baunsgaard (CoI)
Veltri, Niccolò (CoI)

Programming Logic and Semantics

Projekter: Projekt › Forskning

7 Konferencebidrag i proceedings
3 Tidsskriftartikel
2 Ph.d.-afhandling
1 Konferenceartikel

2 resultater

Filter

2022
Cubical modal type theories
Kristensen, M. B., 2022, IT-Universitetet i København. 99 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2021
Type Theories for Reactive Programming
Graulund, C. U., 2021, IT-Universitetet i København. 129 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil