Functional Programming Presentations

Back
Parametricity, Types are Documentation ∘ LambdaJam conference, Brisbane, Australia ∘ 2014-05-09
Source (github)
Slides (pdf)