Jeremy G. Siek - Crash Course on Notation in Programming Language Theory (Part 1) - λC 2018
About this video
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidencePart 1: Crash course on formal notation used in programming language theory. Teaches mathematical notation and symbolic conventions for language semantics.
A 57-minute video from LambdaConf: “Jeremy G. Siek - Crash Course on Notation in Programming Language Theory (Part 1) - λC 2018”.
Video by LambdaConf, played through YouTube's embedded player.
Part of LambdaConf 2018