41:06CS 152: Programming Languages - Spring 2019: Section 10 - Type Constructors & MonadsMustafa Bal119 viewsView & Download
1:10:23CS 152: Programming Languages - Spring 2019: Section 1 - Induction, Small & Large-step semanticsMustafa Bal1.1K viewsView & Download
1:07:09CS 152: Programming Languages - Spring 2019: Section 8 - Types systems and Algebraic structureMustafa Bal114 viewsView & Download
49:43CS 152: Programming Languages - Spring 2019: Section 6 - Type inferenceMustafa Bal149 viewsView & Download
1:12:08CS 152: Programming Languages - Spring 2019: Section 3 - Lambda CalculusMustafa Bal292 viewsView & Download
0:00TensorTonic: Attention is all you need --- #05 Encoder Block & "The Annotated Transformer"Dralha0 viewsView & Download