Haskell and Dependent Types with GHC TSC member Vladislav Zavialov

Inference - Un pódcast de Michele Riva

Categorías:

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.

Visit the podcast's native language site