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

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

158 mins • Oct 27, 2025

Neueste Folgen

Oct 27, 2025

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

158 mins

Sep 29, 2025

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler

110 mins

Aug 27, 2025

#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer

145 mins

Jul 10, 2025

#52 Why is Haskell so special - Lennart Augustsson

91 mins

Jun 4, 2025

#51 s/Coq/Rocq - Nicolas Tabareau

102 mins

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