The Type Theory Podcast

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

The Type Theory Podcast ›

0:00 | Apr 18th, 2015

In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been in...Show More



Recommendations

🎉 Join the #1 community of podcast lovers and never miss a great podcast.

Sign up