Research output per year
Research output per year
Personal profile
Keywords
- Programming languages
- Logic
- Semantics
- Dependent types
Fingerprint
Dive into the research topics where Rasmus Ejlers Møgelberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Asynchronous Modal FRP
Bahr, P. & Møgelberg, R. E., 31 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 476-510 205.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
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. 42Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
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 AccessFile -
Two Guarded Recursive Powerdomains for Applicative Simulation
Møgelberg, R. E. & Vezzosi, A., Dec 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Electronic Proceedings in Theoretical Computer Science, Vol. 351. p. 200-217Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Denotational semantics for guarded dependent type theory
Bizjak, A. & Møgelberg, R. E., Apr 2020, In: Mathematical Structures in Computer Science. 30, 4, p. 342-378Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile
Activities
- 2 Organisation and participation in workshop, seminar, course
-
Cubical sets
Møgelberg, R. E. (Organizer)
1 Dec 2014 → 2 Dec 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Homotopy type theory seminar
Pouillard, N. (Organizer) & Møgelberg, R. E. (Organizer)
5 Feb 2014 → …Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Press/Media
-
-
-
Millionbevilling fra Villum Fonden til ITU-lektor
27/01/2016
1 item of Media coverage
Press/Media: Press / Media
-
-
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
-
Modeller og detaljerede kalkuler for effekter i programmeringssprog
Møgelberg, R. E. (CoI)
01/10/2007 → 31/12/2010
Project: Research
-
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
-
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
-
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