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

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

127 mins • May 14, 2025

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
Aktualisierung anfordern
Aktualisierungen können einige Minuten dauern.