TY  - RPRT
TI  - A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
AU  - Abigail Pribisova
AU  - Yao Li
AU  - Catalin Hritcu
AU  - Cezar-Constantin Andrici
AU  - Kenji Maillard
AU  - Exequiel Rivas
PY  - 2026
UR  - https://arxiv.org/abs/2610.23604
ID  - 2610.23604
ER  -