A Cost-Aware Probability Monad for Liquid Haskell

Matthias Hetzenberger, Georg Moser, Florian Zuleger

Probabilistic algorithms and data structures are widely used to obtain favourable expected performance guarantees. While their mathematical analysis is often well understood, mecha…