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.
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
127 mins • May 14, 2025
Charts
- 168NEW
- 187Decreased by 124
- 126NEW
- 139Decreased by 31
- 154Decreased by 7
Neueste Folgen

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

Nov 29, 2024
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
64 mins

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