Research output per year
Research output per year
Fingerprint
Dive into the research topics where Maaike Annebet Zwart 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
-
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, In: Proceedings of the ACM on Programming Languages. 9, POPLResearch output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
What Monads Can and Cannot Do with a Few Extra Pages
Møgelberg, R. E. & Zwart, M. A., 8 Oct 2025, In: Logical Methods in Computer Science. 21, 4, 38 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
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, Vol. 288. p. 39:1--39:18 18 p. 39Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile
Projects
- 1 Active
-
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
Datasets
-
Agda files for LMCS paper "What monads can and cannot do with a few extra pages"
Zwart, M. (Creator), ZENODO, 4 Jun 2025
DOI: 10.5281/zenodo.15593221, https://zenodo.org/records/15593221
Dataset: Software