programmingtalks.org
Types
Programming Talks tagged with: "Types"
The Algebra of Algebraic Data Types
an hour
London
Haskell
Algebra
Algebraic
Types
...