John Leo: Dependent Types in GHC
Channel: Bay Area Haskell
Date: 26/04/2017

Presented at BayHac 2017
https://wiki.haskell.org/BayHac2017

Slides:
https://github.com/halfaya/BayHac