It’s the type theory baby! - Michele Finelli
Channel: LambdaCon
Date: 19/09/2016

A gentle introduction to type theory (well, not so gentle ...): my position is that one of the most important feature of a language, in order to help programmers to write correct code, is the type system.
The talk aims at supporting that position and makes a brief excursus on the history of types.