Haskell and Dependent Types with GHC TSC member Vladislav Zavialov
Inference - En podcast af Michele Riva
Kategorier:
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.
