Projects per year
- 6 results
Search results
-
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
22/01/2016 → 21/01/2022
Project: Research
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
Independent Research Fund Denmark
01/07/2015 → 31/01/2019
Project: Research
-
MoReSo: Modular Reasoning about Software
Birkedal, L. (PI), Thamsborg, J. J. (CoI) & Møgelberg, R. E. (CoI)
Independent Research Fund Denmark
01/01/2008 → 31/12/2011
Project: Research
-
EUTYPES: The European research network on types for programming and verification
Møgelberg, R. E. (PI), Graulund, C. U. (CoI) & Veltri, N. (CoI)
21/03/2016 → 20/03/2020
Project: Research
-
Alegro: Algebraic Effects and Guarded Recursion
Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)
Independent Research Fund Denmark
01/07/2022 → 30/06/2026
Project: Research
-
Modeller og detaljerede kalkuler for effekter i programmeringssprog
Møgelberg, R. E. (CoI)
01/10/2007 → 31/12/2010
Project: Research