Lambda World 2019 - A categorical view of computational effects - Emily Riehl
1:12:41
A Categorical View of Computational Effects
41:21
Lambda World 2019 - Fun With Categories - Marco Perone
1:24:31
Emily Riehl: "Contractibility as uniqueness"
46:08
Lambda World 2024 - Functional effects in perspective - Vitaly Bragilevsky
41:42
Lambda World 2024 - Concurrency Oriented Software - Robert Virding
1:05:09
The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl
1:05:50
Functional Design Patterns - Scott Wlaschin
1:06:57