1:24:13 What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andrej Bauer - OPLSS 2018 OPLSS
1:23:18 What's Algebraic About Algebraic Effects and Handlers? [2/2] - Andrej Bauer - OPLSS 2018 OPLSS