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