Haskell and Dependent Types with GHC TSC member Vladislav Zavialov

Inference - En podkast av 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.

Visit the podcast's native language site