Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019
1:20:49
Security-Typed Languages [3/4] - Andrew Myers - OPLSS 2019
1:26:26
Practical Foundations for Programming Languages [2/4] - Robert Harper - OPLSS 2019
56:10
Why Functional Programming Matters by John Hughes at Functional Conf 2016
1:25:20
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
6:36
Lisp, The Quantum Programmer's Choice - Computerphile
1:33:37
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
50:59
Learning To Code In Lean 4 With A Friend: Starting Out
1:26:20