The Type Theory Podcast

Updated: 01 Dec 2016 • 6 episodes
typetheorypodcast.com

A podcast about type theory

Show episodes

Episode 6: Aaron Stump on Cedille

1 min
00:00
00:00
No file found

Episode 5: Bob Constable on CTT and Nuprl

1 min
00:00
00:00
No file found
David Christiansen & Stephanie Weirich 18 Apr 2015 • EN

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 a long-time contributor to Haskell, having been involved in the design and implementation of features such as generalized algebraic datatypes, higher-rank polymorphism, t

1 min
00:00
00:00
No file found
David Christiansen & Dan Licata 07 Jan 2015 • EN

Episode 3: Dan Licata on Homotopy Type Theory

Episode 3: Dan Licata on Homotopy Type Theory

1 min
00:00
00:00
No file found
David Christiansen & Edwin Brady 26 Sep 2014 • EN

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 programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for

1 min
00:00
00:00
No file found
David Christiansen & Peter Dybjer 13 Aug 2014 • EN

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.

1 min
00:00
00:00
No file found