Podchaser Logo
Home
Dependent Haskell with Vladislav Zavialov

Dependent Haskell with Vladislav Zavialov

Released Monday, 23rd August 2021
Good episode? Give it some love!
Dependent Haskell with Vladislav Zavialov

Dependent Haskell with Vladislav Zavialov

Dependent Haskell with Vladislav Zavialov

Dependent Haskell with Vladislav Zavialov

Monday, 23rd August 2021
Good episode? Give it some love!
Rate Episode

Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more!

Show More
Rate

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more

Episode Tags

Do you host or manage this podcast?
Claim and edit this page to your liking.
,

Unlock more with Podchaser Pro

  • Audience Insights
  • Contact Information
  • Demographics
  • Charts
  • Sponsor History
  • and More!
Pro Features