Pedro Abreu

Type Theory Forall

Explore um podcast envolvente que aborda Teoria dos Tipos, linguagens de programação e mais, tornando tópicos complexos acessíveis para todos os interessados em tecnologia.

Listen on Apple Podcasts

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

127 mins • May 14, 2025

Episódios recentes

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

Idioma
Inglês
País
Estados Unidos
Solicitar uma atualização
As atualizações podem levar alguns minutos.