Pedro Abreu

Type Theory Forall

Découvrez un podcast passionnant sur la théorie des types, les langages de programmation et d'autres sujets, rendant la technologie accessible à tous.

Listen on Apple Podcasts

#51 s/Coq/Rocq - Nicolas Tabareau

102 mins • Jun 4, 2025

Épisodes récents

Jun 4, 2025

#51 s/Coq/Rocq - Nicolas Tabareau

102 mins

May 14, 2025

#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra

127 mins

Mar 14, 2025

#49 Self-Education in PL - Ryan Brewer

144 mins

Jan 21, 2025

#48 Bell Labs - David MacQueen

130 mins

Jan 7, 2025

#47 The History of LCF, ML and HOPE - David MacQueen

125 mins

Langue
Anglais
Pays
États-Unis
Demander une mise à jour
Les mises à jour peuvent prendre quelques minutes.