Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Maaike Annebet Zwart 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
-
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
Projekter
- 1 Igangværende
-
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
Forskningsdatasæt
-
Agda files for LMCS paper "What monads can and cannot do with a few extra pages"
Zwart, M. (Ophavsmand), ZENODO, 4 jun. 2025
DOI: 10.5281/zenodo.15593221, https://zenodo.org/records/15593221
Datasæt: Software