Type theories for reactive programming

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

Projekter: Projekt › Forskning

Status	Afsluttet
Effektiv start/slut dato	22/01/2016 → 21/01/2022

Finansiering

Villum Fonden: 6.439.546,00 kr.

Emneord

programming languages
reactive programming
type theory

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

Cubical modal type theories
Kristensen, M. B., 2022, IT-Universitetet i København. 99 s. (ITU-DS; Nr. 193).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks
Kristensen, M. B., Møgelberg, R. E. & Vezzosi, A., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 13 s. 42
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil
Diamonds are not forever: Liveness in reactive programming with guarded recursion
Bahr, P., Graulund, C. U. & Møgelberg, R. E., jan. 2021, ACM SIGPLAN Symposium on Principles of Programming Languages. POPL udg. Association for Computing Machinery, Bind 5. 28 s. (Proceedings of the ACM on Programming Languages).
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil