Maaike Zwart

13 papers A* 1B 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Modelling Recursion and Probabilistic Choice in Guarded Type Theory.
Proc. ACM Program. Lang.
Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal
2025 J jnl
What Monads Can and Cannot Do with a Few Extra Pages.
Log. Methods Comput. Sci.
Rasmus Ejlers Møgelberg, Maaike Zwart
2024 — conf
Correspondence Between Composite Theories and Distributive Laws.
CMCS
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024 J jnl
Correspondence between Composite Theories and Distributive Laws.
CoRR
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024 J jnl
Modelling Probabilistic FPC in Guarded Type Theory.
CoRR
Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal
2024 B conf
What Monads Can and Cannot Do with a Bit of Extra Time.
CSL
Rasmus Ejlers Møgelberg, Maaike Zwart
2023 J jnl
What monads can and cannot do with a bit of extra time.
CoRR
Rasmus Ejlers Møgelberg, Maaike Zwart
2022 J jnl
No-Go Theorems for Distributive Laws.
Log. Methods Comput. Sci.
Maaike Zwart, Dan Marsden
2020 J jnl
No-Go Theorems for Distributive Laws.
CoRR
Maaike Zwart, Dan Marsden
2019 A* conf
No-Go Theorems for Distributive Laws.
LICS
Maaike Zwart, Dan Marsden
2018 J jnl
Don't Try This at Home: No-Go Theorems for Distributive Laws.
CoRR
Maaike Zwart, Dan Marsden
2018 B conf
Quantitative Foundations for Resource Theories.
CSL
Dan Marsden, Maaike Zwart
2017 — conf
Double Dilation ≠ Double Mixing (extended abstract).
QPL
Maaike Zwart, Bob Coecke
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling