Session-Typed Concurrent Programming - Stephanie Balzer [4/4]
1:30:59
Session-Typed Concurrent Programming - Stephanie Balzer [1/4]
1:28:16
Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]
1:15:43
From Program Equivalences to Program Metrics - Ugo Dal Lago [2/4]
1:21:28
Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019
1:49:55
How To Speak Fluently In English About Almost Anything
1:24:44
Kleene Algebras and Applications - Alexandra Silva [1/4]
3:50:19
Data Analytics for Beginners | Data Analytics Training | Data Analytics Course | Intellipaat
1:28:13