Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Programming languages
- Logic
- Semantics
- Dependent types
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Rasmus Ejlers Møgelberg er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Asynchronous Modal FRP
Bahr, P. & Møgelberg, R. E., 31 aug. 2023, I: Proceedings of the ACM on Programming Languages. 7, ICFP, s. 476-510 205.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
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. 42Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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 adgangFil -
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, Bind 351. s. 200-217Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Denotational semantics for guarded dependent type theory
Bizjak, A. & Møgelberg, R. E., apr. 2020, I: Mathematical Structures in Computer Science. 30, 4, s. 342-378Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
Aktiviteter
- 2 Organisation og deltagelse i workshop, seminar og kursus
-
Cubical sets
Møgelberg, R. E. (Arrangør)
1 dec. 2014 → 2 dec. 2014Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
-
Homotopy type theory seminar
Pouillard, N. (Arrangør) & Møgelberg, R. E. (Arrangør)
5 feb. 2014 → …Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Presse/medier
-
MoReSo: Modular Reasoning about Software
Birkedal, L. (PI), Thamsborg, J. J. (CoI) & Møgelberg, R. E. (CoI)
01/01/2008 → 31/12/2011
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)
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning
-
Modeller og detaljerede kalkuler for effekter i programmeringssprog
Møgelberg, R. E. (CoI)
01/10/2007 → 31/12/2010
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
Alegro: Algebraic Effects and Guarded Recursion
Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)
01/07/2022 → 30/06/2026
Projekter: Projekt › Forskning