Haskell and Dependent Types with GHC TSC member Vladislav Zavialov

Inference - A podcast by Michele Riva

Categories:

Technology

In this episode, I had the honor to talk with Vladislav Zavialov, Software Engineer at #Serokell and #Haskell #GHC Technical Steering Committee member. We talked about dependent types, type systems, and functional programming.