Type Theory Forall

Pedro Abreu•65 avsnitt•1 tim 40 min•Månatligen

An accessible podcast about Type Theory, Programming Languages Research and related topics.

Avsnitt

· 65

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

14 maj 20252 tim 7 min

#49 Self-Education in PL - Ryan Brewer

14 mars 20252 tim 24 min

#48 Bell Labs - David MacQueen

21 jan. 20252 tim 10 min

#47 The History of LCF, ML and HOPE - David MacQueen

7 jan. 20252 tim 5 min

#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

29 nov. 20241 tim 4 min

#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

24 nov. 20241 tim 22 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Poddens innehåll och bilderna på den här webbplatsen hämtas med hjälp av poddens RSS-flöde.

Type Theory Forall

Avsnitt

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

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

#52 Why is Haskell so special - Lennart Augustsson

#51 s/Coq/Rocq - Nicolas Tabareau