The Probability Monad
31:23
George Wilson - An Intuition for Propagators - Compose Melbourne 2019
30:37
Compose :: Melbourne 2017 - George Wilson - Type Class: The Ultimate Ad Hoc
1:12:41
A Categorical View of Computational Effects
42:43
"Propositions as Types" by Philip Wadler
50:52
Category Theory for the Working Hacker by Philip Wadler
1:07:10
Brian Beckman: Don't fear the Monad
33:46
Monad Transformer State - Michael Snoyman
21:57