TY  - RPRT
TI  - A Cost-Aware Probability Monad for Liquid Haskell
AU  - Matthias Hetzenberger
AU  - Georg Moser
AU  - Florian Zuleger
PY  - 2026
UR  - https://arxiv.org/abs/2608.04886
ID  - 2608.04886
ER  -