Pedro Abreu

Type Theory Forall

Esplora un podcast coinvolgente che tratta la Teoria dei Tipi, i linguaggi di programmazione e altro, rendendo argomenti complessi accessibili a tutti coloro che sono interessati alla tecnologia.

Listen on Apple Podcasts

#52 Why is Haskell so special - Lennart Augustsson

91 mins • Jul 10, 2025

Episodi recenti

Jul 10, 2025

#52 Why is Haskell so special - Lennart Augustsson

91 mins

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

Lingua
Inglese
Paese
Stati Uniti
Richiedi un aggiornamento
Gli aggiornamenti potrebbero richiedere alcuni minuti.