Publishers
Charts
Log in
Type Theory Forall
Episodes
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Published 03/11/24
Type Theory Forall
Published 03/11/24
#36 Behind the Person Behind this Podcast - Pedro Abreu
Published 12/26/23
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Published 12/04/23
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Published 10/16/23
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Published 09/09/23
#32 TyDe Systems - Jan de Muijnck-Hughes
Published 07/22/23
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
Published 07/13/23
#30 Actors, GADTs and Burnout - Dan and Pedro
Published 05/30/23
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
Published 04/09/23
#28 Formally Verifying Smart Contracts - Pruvendo
Published 02/15/23
#28 Formally Verifying Smart Contracts - Pruvendo
Published 02/15/23
#27 Formalizing an OS: The seL4 - Gerwin Klein
Published 02/04/23
#27 Formalizing an OS: The seL4 - Gerwin Klein
Published 02/04/23
#26 Mechanizing Modern Mathematics - Kevin Buzzard
Published 01/16/23
#26 Mechanizing Modern Mathematics - Kevin Buzzard
Published 01/16/23
#25 Formally Verifying the Tezos Codebase - Formal Land
Published 11/21/22
#25 Formally Verifying the Tezos Codebase - Formal Land
Published 11/21/22
#24 The History of Isabelle - Lawrence Paulson
Published 10/06/22
#24 The History of Isabelle - Lawrence Paulson
Published 10/06/22
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
Published 09/24/22
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
Published 09/24/22
#22 Impredicativity, EM, Realizability and more - Cody Roux
Published 08/12/22
#22 Impredicativity, LEM, Realizability and more - Cody Roux
Published 08/12/22
#21 Denotational Design - Conal Elliott
Published 08/04/22
1
2
3
Next ›
Listen now
All episodes
Links
typetheoryforall.com
RSS feed
Listen on Apple Podcasts
Twitter
Facebook
Instagram
Patreon
Genres
Technology
Science
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
See hourly chart positions and more than 30 days of history.
Get Chartable Analytics »