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 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