11 Levity Polymorphism In Dependent Haskell [fixed audio]
Channel: Janus Troelsen
Date: 07/10/2015

30 August, 2015

Richard A. Eisenberg, University of Pennsylvania
e-mail in the first slide

Help us caption & translate this video!

http://amara.org/v/HOrm/