Basic Mechanics of Operational Semantics
43:52
How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
31:09
Lecture "Operational Semantics (Part 1, Preliminaries)" of "Program Analysis"
1:09:58
The impact of differentiable programming: how ∂P is enabling new science in Julia
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
15:50
Big-step operational semantics (An introduction)
42:43
"Propositions as Types" by Philip Wadler
59:04
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
1:24:13