All content for Inference is the property of Michele Riva and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
A podcast about programming languages and other fun stuff
Haskell and Dependent Types with GHC TSC member Vladislav Zavialov
Inference
40 minutes 50 seconds
4 years ago
Haskell and Dependent Types with GHC TSC member Vladislav Zavialov
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.
Inference
A podcast about programming languages and other fun stuff
