[Haskell'26] A Cost-Aware Probability Monad for Liquid Haskell
ACM SIGPLAN · 30:42
The talk presents a library for verifying probabilistic algorithms directly in Haskell with LiquidHaskell refinement types. It is a probability monad whose operators track expected cost automatically, so functional co...