BrighterTube

Vitaly Bragilevsky - Type Theory Behind Glasgow Haskell Compiler Internals (Part 1) - λC 2018

LambdaConf8.86K subscribers

Why it's on BrighterTube

Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Part 1 teaching type theory underlying Glasgow Haskell Compiler internals. Starts instruction on type system implementation and theory.

What you'll learn

A 57-minute video from LambdaConf: “Vitaly Bragilevsky - Type Theory Behind Glasgow Haskell Compiler Internals (Part 1) - λC 2018”.

Programming & CSScience & Math

Video by LambdaConf, played through YouTube's embedded player.

Part of Advanced Haskell 2018, Haskell, LambdaConf 2018