https://www.typetheoryforall.com/ 2026-11-04T22:28:31.626Z weekly 1 https://www.typetheoryforall.com/about 2026-11-04T22:28:31.626Z yearly 0.5 https://www.typetheoryforall.com/mentorship 2026-11-04T22:28:31.626Z monthly 0.7 https://www.typetheoryforall.com/patreon 2026-11-04T22:28:31.626Z monthly 0.7 https://www.typetheoryforall.com/contact 2026-11-04T22:28:31.626Z yearly 0.4 https://www.typetheoryforall.com/episodes/quint 2026-10-19T13:42:37.354Z yearly 0.8 https://www.typetheoryforall.com/episodes/pl-education-in-the-age-of-ai 2026-09-14T22:25:15.277Z yearly 0.8 https://www.typetheoryforall.com/episodes/hack-the-language-that-fixes-php 2026-09-14T22:25:33.204Z yearly 0.8 https://www.typetheoryforall.com/episodes/dependent-haskell 2026-09-14T22:25:43.045Z yearly 0.8 https://www.typetheoryforall.com/episodes/zurihac-behind-the-scenes 2026-09-14T22:25:53.673Z yearly 0.8 https://www.typetheoryforall.com/episodes/conversations-on-life-ai-and-the-pl-job-market 2026-09-14T22:26:00.875Z yearly 0.8 https://www.typetheoryforall.com/episodes/category-theory-and-inclusivity 2026-01-29T18:55:46.059Z yearly 0.8 https://www.typetheoryforall.com/episodes/constructivism-and-computational-content 2025-12-18T14:18:59.527Z yearly 0.8 https://www.typetheoryforall.com/episodes/compilers-for-privacy-preserving-computation 2025-12-06T22:20:42.650Z yearly 0.8 https://www.typetheoryforall.com/episodes/property-based-testing-and-pl-grad-school-applications 2025-11-17T14:38:50.566Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-death-of-oo-the-beauty-of-scheme-bob-konf-and-fun-arch 2025-10-28T17:43:26.065Z yearly 0.8 https://www.typetheoryforall.com/episodes/goal-of-science 2025-09-29T20:27:21.248Z yearly 0.8 https://www.typetheoryforall.com/episodes/rust-belt-iris-and-the-art-of-writing 2025-09-17T22:59:58.935Z yearly 0.8 https://www.typetheoryforall.com/episodes/why-is-haskell-so-special 2025-07-10T19:16:57.127Z yearly 0.8 https://www.typetheoryforall.com/episodes/r-coq-rocq 2025-07-10T19:05:08.619Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-expression-problem 2025-05-16T19:54:12.115Z yearly 0.8 https://www.typetheoryforall.com/episodes/self-education-in-pl 2025-05-16T20:14:38.974Z yearly 0.8 https://www.typetheoryforall.com/episodes/bell-labs 2025-01-21T17:39:37.139Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-history-of-lcf-ml-and-hope 2025-01-19T15:20:43.911Z yearly 0.8 https://www.typetheoryforall.com/episodes/realizability-bhk-cps-translation-dialectica 2024-11-29T10:35:43.576Z yearly 0.8 https://www.typetheoryforall.com/episodes/type-theory-properties 2024-11-25T14:43:59.892Z yearly 0.8 https://www.typetheoryforall.com/episodes/theorem-prover-foundations-lean4-lean-metamath 2025-01-19T15:20:32.389Z yearly 0.8 https://www.typetheoryforall.com/episodes/pl-in-the-industry-and-summer-schools 2025-01-21T17:42:07.784Z yearly 0.8 https://www.typetheoryforall.com/episodes/distribuited-systems-microservices-and-choreographies 2025-01-21T17:42:26.257Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-value-of-pl-and-education 2024-11-24T12:53:47.930Z yearly 0.8 https://www.typetheoryforall.com/episodes/secure-voting 2024-11-24T12:53:55.629Z yearly 0.8 https://www.typetheoryforall.com/episodes/equality-quotation-bidirectional-type-checking 2024-11-24T12:54:04.980Z yearly 0.8 https://www.typetheoryforall.com/episodes/haskell-lean-idris-and-the-art-of-writing-1 2024-11-24T12:54:19.672Z yearly 0.8 https://www.typetheoryforall.com/episodes/compilers-staging-futamura-projections 2024-11-24T12:54:30.277Z yearly 0.8 https://www.typetheoryforall.com/episodes/behind-the-person-behind-this-podcast 2025-01-20T19:59:25.813Z yearly 0.8 https://www.typetheoryforall.com/episodes/teika-self-education-and-f-ing-floating-points 2025-01-20T19:59:12.584Z yearly 0.8 https://www.typetheoryforall.com/episodes/foundations-of-theorem-provers-and-cedille2 2025-01-20T19:59:03.084Z yearly 0.8 https://www.typetheoryforall.com/episodes/z3-and-lean-the-spiritual-journey 2025-01-20T19:58:53.125Z yearly 0.8 https://www.typetheoryforall.com/episodes/ty-de-systems 2025-01-20T19:58:42.076Z yearly 0.8 https://www.typetheoryforall.com/episodes/discussing-problems-in-pl-and-academia 2025-01-20T19:58:30.989Z yearly 0.8 https://www.typetheoryforall.com/episodes/episode 2025-01-20T19:58:19.738Z yearly 0.8 https://www.typetheoryforall.com/episodes/can-pl-theory-make-you-a-better-software-engineer 2025-01-20T19:58:10.474Z yearly 0.8 https://www.typetheoryforall.com/episodes/formally-verifying-smart-contracts 2025-01-20T19:58:00.875Z yearly 0.8 https://www.typetheoryforall.com/episodes/formalizing-an-os-the-se-l4 2025-01-20T19:57:48.303Z yearly 0.8 https://www.typetheoryforall.com/episodes/mechanizing-modern-mathematics 2026-09-10T12:53:05.302Z yearly 0.8 https://www.typetheoryforall.com/episodes/formally-verifying-the-tezos-codebase 2025-01-20T19:57:22.493Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-history-of-isabelle 2025-01-20T19:57:10.196Z yearly 0.8 https://www.typetheoryforall.com/episodes/what-is-the-sigplan 2025-01-20T19:59:40.137Z yearly 0.8 https://www.typetheoryforall.com/episodes/impredicativity-lem-realizability-and-more 2025-01-20T19:50:50.315Z yearly 0.8 https://www.typetheoryforall.com/episodes/denotational-design 2025-01-20T19:50:10.853Z yearly 0.8 https://www.typetheoryforall.com/episodes/huaweii-string-diagrams-game-semantics 2025-01-20T19:46:43.434Z yearly 0.8 https://www.typetheoryforall.com/episodes/experience-report-learning-coq 2025-01-21T17:41:46.762Z yearly 0.8 https://www.typetheoryforall.com/episodes/goedel-s-incompleteness-theorems 2025-01-20T19:46:16.415Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-lost-elegance-of-computation 2025-01-20T19:46:02.127Z yearly 0.8 https://www.typetheoryforall.com/episodes/agda-k-axiom-ho-tt-rewrite-theory 2025-01-20T19:45:47.221Z yearly 0.8 https://www.typetheoryforall.com/episodes/coq-projects-agda-idris-kind 2025-01-20T19:45:33.959Z yearly 0.8 https://www.typetheoryforall.com/episodes/popl-parametricity-scala-dot 2025-01-20T19:45:15.465Z yearly 0.8 https://www.typetheoryforall.com/episodes/c-c-emacs-haskell-and-coq-the-journey 2025-01-20T19:45:03.218Z yearly 0.8 https://www.typetheoryforall.com/episodes/tenure-sexism-and-adhd 2025-01-20T19:42:02.289Z yearly 0.8 https://www.typetheoryforall.com/episodes/fp-monads-ghc-and-beyond 2025-01-20T19:41:44.436Z yearly 0.8 https://www.typetheoryforall.com/episodes/classical-logic-vs-intuitionistic-logic 2025-01-20T19:41:31.174Z yearly 0.8 https://www.typetheoryforall.com/episodes/logic-and-proof-theory 2025-01-20T19:41:15.669Z yearly 0.8 https://www.typetheoryforall.com/episodes/cedille 2025-01-20T19:40:39.102Z yearly 0.8 https://www.typetheoryforall.com/episodes/hacking-isabelle-s-internals 2025-01-20T19:40:24.471Z yearly 0.8 https://www.typetheoryforall.com/episodes/all-the-dumb-questions-on-gradual-types 2025-01-20T19:40:06.830Z yearly 0.8 https://www.typetheoryforall.com/episodes/the-history-of-coq-art 2025-01-20T19:39:38.326Z yearly 0.8 https://www.typetheoryforall.com/episodes/theorem-provers-functional-programming-and-companies 2025-01-20T19:39:26.120Z yearly 0.8 https://www.typetheoryforall.com/episodes/ml-for-pl-and-mental-health 2025-01-20T19:38:50.730Z yearly 0.8 https://www.typetheoryforall.com/episodes/grad-school-life 2025-01-20T20:02:22.004Z yearly 0.8 https://www.typetheoryforall.com/episodes/what-is-pl-research 2025-01-20T20:01:46.749Z yearly 0.8 https://www.typetheoryforall.com/episodes/cool-internships-in-pl 2025-01-20T20:01:02.574Z yearly 0.8