MuniHac 2020: Lars Brünjes - This ain't your Daddy's Probability Monad
MuniHac 2020 Workshop: Manuel Bärenz - Video & Game Live Coding in Haskell
Plutus Pioneer Program - Lecture #8
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probabilities
BTD12: The Architect Elevator: Connecting Penthouse and Engine - Gregor Hohpe
Tutorial: What is a probability monad? (Paolo Perrone)
IOHK | Importance of Functional Correctness Training - Duncan Coutts
Kleisli categories and probability - 01 - The Giry monad
Stake pools and decentralization
When measurable spaces don't have enough points - Paolo Perrone (2022)
Making Logic Monad by halcat0x15a
Emily Pillmore – Hulk SMASH: re-imagining the Maybe-monad and its design space
Bart Jacobs: De Finetti's construction as a categorical limit
[POPL 2021] Relatively Complete Verification of Probabilistic Programs (full)
Charles Hoskinson on Duncan Coutts
UNA NOCHEE MASSSS MONAD Ft Q LOKURAAAAAA😈😈😈
Brooks Paige - University of Oxford
Makarius plaudert über Haskell und Isabelle
IOHK | Philipp Kant, Director of Formal Methods.
![[POPL 2021] Relatively Complete Verification of Probabilistic Programs (full)](https://img.youtube.com/vi/5bzyWBQy0vo/0.jpg)
