Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is ...
Episode 3: Dan Licata on Homotopy Type Theory
Episode 3: Dan Licata on Homotopy Type Theory
Episode 2: Edwin Brady on Idris
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional program...
Episode 1: Peter Dybjer on types and testing
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.