Explora el fascinante mundo de la teoría de tipos a través de conversaciones interesantes y conocimientos que hacen que los conceptos complejos sean accesibles y relevantes para todos.
Episode 6: Aaron Stump on Cedille
E6 • • Dec 1, 2016
Charts
- 150Decreased by 1
Episodios recientes

Dec 1, 2016
Episode 6: Aaron Stump on Cedille
E6 •

Aug 31, 2015
Episode 5: Bob Constable on CTT and Nuprl
E5 •

Apr 18, 2015
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
E4 •

Jan 7, 2015
Episode 3: Dan Licata on Homotopy Type Theory
E3 •

Sep 26, 2014
Episode 2: Edwin Brady on Idris
E2 • 93 mins

Idioma
Inglés
País
Estados Unidos
Sitio web
Feed
Solicitar una actualización
Las actualizaciones pueden tardar unos minutos.