BrighterTube

Zach Carter: Armchair Type Theory [JSConf2014]

JSConf285K subscribers

Why it's on BrighterTube

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

Introduces type theory concepts using accessible language for programmers. Technical lecture on mathematical foundations relevant to advanced programming.

What you'll learn

A 21-minute video from JSConf: “Zach Carter: Armchair Type Theory [JSConf2014]”.

Programming & CSScience & Math

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

Part of JSConf US 2014