Personlig profil
Emneord
- Programming languages
- Logic
- Semantics
- Dependent types
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Publikation
-
Front Matter, Table of Contents, Preface, Conference Organization
Møgelberg, R. E. (Redaktør) & van den Berg, B. (Redaktør), 3 jul. 2025, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 1-190 190 s. (Leibniz International Proceedings in Informatics, Bind 336).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Forord/efterskrift › Forskning › peer review
Åben adgang -
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, I: Proceedings of the ACM on Programming Languages. 9, POPLPublikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil -
What Monads Can and Cannot Do with a Few Extra Pages
Møgelberg, R. E. & Zwart, M. A., 8 okt. 2025, I: Logical Methods in Computer Science. 21, 4, 38 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
What Monads Can and Cannot Do with a Bit of Extra Time
Møgelberg, R. E. & Zwart, M. A., 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 288. s. 39:1--39:18 18 s. 39Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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 › Tidsskriftartikel › Forskning › peer review
Åben adgang
-
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
-
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) & Stepanenko, S. (Samarbejdspartner)
01/07/2022 → 30/06/2026
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
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning
Presse/medier
-
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
-
Logical Methods in Computer Science (Tidsskrift)
Møgelberg, R. E. (Redaktør)
1 jan. 2023 → …Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Redaktør af tidsskrift › Forskning