Castuner

Type Theory Forall

Pedro Abreu

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

Podcast website

Listen in your app

Episodes

66 episodes

  1. #65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira 2:02:42
  2. #64 PL Education in the Age of AI - Shriram Krishnamurthi 2:43:45
  3. #63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet 1:46:13
  4. #62 Dependent Haskell - Vladislav Zavialov 2:04:41
  5. #61 Zurihac Behind the Scenes - Farhad Mehta 2:19:18
  6. #60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan 1:53:23
  7. #59 Category Theory and Inclusivity - Valeria de Paiva 2:46:47
  8. #58 Constructivism and Computational Content - Andrej Bauer 2:18:35
  9. #57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik 59:16
  10. #56 Property Based Testing and PL Grad School Applications - Francille Zhuang 1:36:23
  11. #55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber 2:38:21
  12. #54 The Goal of Science is to Communicate Ideas! - Philip Wadler 1:50:05
  13. #53 RustBelt, Iris, and the Art of Writing - Derek Dreyer 2:25:22
  14. #52 Why is Haskell so special - Lennart Augustsson 1:30:31
  15. #51 s/Coq/Rocq - Nicolas Tabareau 1:42:05
  16. #50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra 2:06:47
  17. #49 Self-Education in PL - Ryan Brewer 2:23:47
  18. #48 Bell Labs - David MacQueen 2:10:12
  19. #47 The History of LCF, ML and HOPE - David MacQueen 2:05:04
  20. #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot 1:03:36
  21. #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot 1:21:41
  22. #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro 2:13:31
  23. #43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30
  24. #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49
  25. #41 The Value of PL (and) Education - Satnam Singh 1:41:04
  26. #40 Secure Voting - Joe Kiniry 1:08:54
  27. #39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:42
  28. #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 1:55:58
  29. #37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20
  30. #36 Behind the Person Behind this Podcast - Pedro Abreu 1:49:55
  31. #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 1:21:29
  32. #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 1:28:27
  33. #33 Z3 and Lean, the Spiritual Journey - Leo de Moura 2:05:07
  34. #32 TyDe Systems - Jan de Muijnck-Hughes 1:41:23
  35. #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes 2:09:59
  36. #30 Actors, GADTs and Burnout - Dan and Pedro 1:44:52
  37. #29 Can PL theory make you a better software engineer? - Jimmy Koppel 1:24:19
  38. #28 Formally Verifying Smart Contracts - Pruvendo 1:10:40
  39. #27 Formalizing an OS: The seL4 - Gerwin Klein 1:58:40
  40. #26 Mechanizing Modern Mathematics - Kevin Buzzard 2:15:31
  41. #25 Formally Verifying the Tezos Codebase - Formal Land 1:01:32
  42. #24 The History of Isabelle - Lawrence Paulson 1:38:02
  43. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich 1:12:13
  44. #22 Impredicativity, LEM, Realizability and more - Cody Roux 2:19:23
  45. #21 Denotational Design - Conal Elliott 3:07:26
  46. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica 1:37:28
  47. #19 Experience Report: Learning Coq - Patrick and Supun 1:51:39
  48. #18 Gödel's Incompleteness Theorems - Cody Roux 2:50:14
  49. #17 The Lost Elegance of Computation - Conal Elliott 3:32:38
  50. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx 1:35:53