Start / Type Theory Forall

Type Theory Forall

53 avsnitt • Längd: 95 min • Oregelbundet

Teknologi • Vetenskap

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

Avsnitt

#52 Why is Haskell so special - Lennart Augustsson

10 juli | 91 min

#51 s/Coq/Rocq - Nicolas Tabareau

4 juni | 102 min

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

14 maj | 127 min

#49 Self-Education in PL - Ryan Brewer

14 mars | 144 min

#48 Bell Labs - David MacQueen

21 januari | 130 min

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

7 januari | 125 min

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

29 november 2024 | 64 min

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

24 november 2024 | 82 min

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

6 november 2024 | 134 min

#43 PL in the Industry and Summer Schools - Patrick and Eric

13 september 2024 | 62 min

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

29 augusti 2024 | 113 min

#41 The Value of PL (and) Education - Satnam Singh

15 augusti 2024 | 101 min

#40 Secure Voting - Joe Kiniry

15 juli 2024 | 69 min

#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

13 juni 2024 | 110 min

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

16 maj 2024 | 116 min

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

Podcastbild

00:00 -00:00

Podcastbild

00:00 -00:00