The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
Danmarks Frie Forskningsfond
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
Villum Fonden
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning

Projekter