Vladislav Zavialov on Dependent Haskell - Type Theory Forall Podcast

Links
1
10 Likes
2

This is also great as a general introduction to GHC development!

3 Likes