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

Status	Finished
Effective start/end date	22/01/2016 → 21/01/2022

Funding

Villum Foundation: DKK6,439,546.00

Keywords

programming languages
reactive programming
type theory

7 Article in proceedings
3 Journal article
2 Ph.D. thesis
1 Conference article

Cubical modal type theories
Kristensen, M. B., 2022, IT-Universitetet i København. 99 p. (ITU-DS; No. 193).
Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

Open Access
File
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 p. 42
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access
File
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 ed. Association for Computing Machinery, Vol. 5. 28 p. (Proceedings of the ACM on Programming Languages).
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access
File