Prova Storytel gratis i 30 dagar Ett universum fyllt av ljudböcker, klicka här för att komma igång

Type Theory Forall

En podcast av: Pedro Abreu

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

Our American listeners can also listen to Type Theory Forall at our American site

53 Avsnitt

#52 Why is Haskell so special - Lennart Augustsson
Publicerades 2025-07-10

#51 s/Coq/Rocq - Nicolas Tabareau
Publicerades 2025-06-04
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
Publicerades 2025-05-14
#49 Self-Education in PL - Ryan Brewer
Publicerades 2025-03-14
#48 Bell Labs - David MacQueen
Publicerades 2025-01-21
#47 The History of LCF, ML and HOPE - David MacQueen
Publicerades 2025-01-07
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
Publicerades 2024-11-29
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
Publicerades 2024-11-24
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Publicerades 2024-11-06
#43 PL in the Industry and Summer Schools - Patrick and Eric
Publicerades 2024-09-13
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
Publicerades 2024-08-29
#41 The Value of PL (and) Education - Satnam Singh
Publicerades 2024-08-15
#40 Secure Voting - Joe Kiniry
Publicerades 2024-07-15
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
Publicerades 2024-06-13
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Publicerades 2024-05-16
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Publicerades 2024-03-11
#36 Behind the Person Behind this Podcast - Pedro Abreu
Publicerades 2023-12-26
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Publicerades 2023-12-04
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Publicerades 2023-10-16
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Publicerades 2023-09-09

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

53 Avsnitt

#52 Why is Haskell so special - Lennart Augustsson

#51 s/Coq/Rocq - Nicolas Tabareau

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

#49 Self-Education in PL - Ryan Brewer

#48 Bell Labs - David MacQueen

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

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

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

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

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

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

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

#40 Secure Voting - Joe Kiniry

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

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

#37 Compilers, Staging, Futamura Projections - Guannan Wei

#36 Behind the Person Behind this Podcast - Pedro Abreu

#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura