BrighterTube

Stephan Boyer - What are Dependent Types - λC 2017

LambdaConf8.86K subscribers

About this video

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

Explains dependent types, a type system feature encoding propositions. Teaches how stronger type systems enable verification of program properties at compile time.

A 11-minute video from LambdaConf: “Stephan Boyer - What are Dependent Types - λC 2017”.

Programming & CS

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

Part of LambdaConf 2017