The Essential Tools of Open-Source : Functional Programming, Parametricity, Types ∘ linux.conf.au FP miniconf, Geelong, Australia ∘ 2016-02-02

Source (github)
Slides (pdf)
Video (youtube)