Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
1:24:30
Dependent Types in the Idris Programming Language 3 - Edwin Brady - OPLSS 2017
1:28:16
Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]
27:22
AI Is Making You An Illiterate Programmer
1:21:53
Session-Typed Concurrent Programming - Stephanie Balzer [3/4]
1:24:44
Kleene Algebras and Applications - Alexandra Silva [1/4]
15:53
DEEPSEEK Vs CHATGPT There Is A Clear Winner !!
1:16:17
Session-Typed Concurrent Programming - Stephanie Balzer [4/4]
6:15