Commutative codensity monads and probability bimeasures. - Zev Shirazi (CoRR, 2024)

The Relative Monadic Metalanguage. - Jack Liell-Cock; Zev Shirazi; Sam Staton (Proc. ACM Program. Lang., 2026)