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

Project: Research

7 Article in proceedings
3 Journal article
2 PhD thesis
1 Conference article

2 results

Filter

2022
Cubical modal type theories
Kristensen, M. B., 2022, IT-Universitetet i København. 99 p.
Research output: Theses › PhD thesis

Open Access
File
2021
Type Theories for Reactive Programming
Graulund, C. U., 2021, IT-Universitetet i København. 129 p.
Research output: Theses › PhD thesis

Open Access
File