From Program Equivalences to Program Metrics - Ugo Dal Lago [4/4]
1:19:26
From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]
1:28:13
From Program Equivalences to Program Metrics - Ugo Dal Lago [3/4]
1:16:17
Session-Typed Concurrent Programming - Stephanie Balzer [4/4]
15:50
FULL REMARKS: JD Vance Puts European Leaders On Notice About Trying To Regulate U.S. Tech Giants
20:43
Simon Sinek's Advice Will Leave You SPEECHLESS 2.0 (MUST WATCH)
14:12
Trump Offers HUGE Concessions to Putin, RFK Jr Made Health Czar & Aunt Chippy Meets Oscar the Grouch
1:24:44
Kleene Algebras and Applications - Alexandra Silva [1/4]
12:17