An accessible podcast about Type Theory, Programming Languages Research and related topics.
#37 Compilers, Staging, Futamura Projections - Guannan Wei
March 11, 2024
1:53:20
#36 Behind the Person Behind this Podcast - Pedro Abreu
Dec. 26, 2023
1:49:55
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Dec. 4, 2023
1:21:29
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Oct. 16, 2023
1:28:27
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Sept. 9, 2023
2:05:07
#32 TyDe Systems - Jan de Muijnck-Hughes
July 22, 2023
1:41:23
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
July 13, 2023
2:09:59
#30 Actors, GADTs and Burnout - Dan and Pedro
May 30, 2023
1:44:52
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
April 9, 2023
1:24:19
#28 Formally Verifying Smart Contracts - Pruvendo
Feb. 15, 2023
1:10:40
#27 Formalizing an OS: The seL4 - Gerwin Klein
Feb. 4, 2023
1:58:40
#26 Mechanizing Modern Mathematics - Kevin Buzzard
Jan. 16, 2023
2:15:31
#25 Formally Verifying the Tezos Codebase - Formal Land
Nov. 21, 2022
1:01:32
#24 The History of Isabelle - Lawrence Paulson
Oct. 6, 2022
1:38:02
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
Sept. 24, 2022
1:13:05
#22 Impredicativity, LEM, Realizability and more - Cody Roux
Aug. 12, 2022
2:19:23
#21 Denotational Design - Conal Elliott
Aug. 4, 2022
3:07:26
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
June 27, 2022
1:37:28
#19 Experience Report: Learning Coq - Patrick and Supun
June 4, 2022
1:51:39
#18 Gödel's Incompleteness Theorems - Cody Roux
May 19, 2022
2:50:14
#17 The Lost Elegance of Computation - Conal Elliott
May 9, 2022
3:32:38
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
April 2, 2022
1:36:53
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
March 27, 2022
1:17:36
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Feb. 12, 2022
56:30
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
Dec. 23, 2021
1:39:30
#12 Tenure, Sexism and ADHD - Talia Ringer
Nov. 10, 2021
1:05:53
#11 FP, Monads, GHC, and beyond - Alejandro Serrano
Oct. 4, 2021
1:07:12
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
July 15, 2021
1:16:30
#9 Logic and Proof Theory - Anupam Das
May 28, 2021
57:20
#8 Cedille - Chris Jenkins
May 10, 2021
1:05:42
#7 Hacking Isabelle's Internals - Daniel Matichuk
April 15, 2021
1:20:52
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
March 29, 2021
39:13
#5 The History of Coq'Art - Yves Bertot
Feb. 27, 2021
1:11:45
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
Feb. 15, 2021
1:14:22
#3 ML for PL and Mental Health - Dan Zheng
Feb. 1, 2021
1:08:01
#2 Grad School Life - Rajan Walia and John Sarracino
Jan. 10, 2021
57:55
#1 What is PL research? - Prof. Ben Delaware
Dec. 23, 2020
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
Dec. 14, 2020
31:59
You must Log In or Sign Up in order to subscribe.