Pedro Abreu

Type Theory Forall

Erkunden Sie einen fesselnden Podcast, der sich mit Typentheorie, Programmiersprachen und mehr beschäftigt und komplexe Themen für alle, die sich für Technik interessieren, zugänglich macht.

Listen on Apple Podcasts

#51 s/Coq/Rocq - Nicolas Tabareau

102 mins • Jun 4, 2025

Neueste Folgen

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

Sprache
Englisch
Land
Vereinigte Staaten
Aktualisierung anfordern
Aktualisierungen können einige Minuten dauern.