About this episode

Vladislav Zavialov discusses the development of the Glasgow Haskell Compiler and the implementation of Dependent Haskell.

Explore listener stats, chart rankings, contacts and more on the Type Theory Forall podcast page.