Type Theory Forall

44 Episoder

1. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich

   Publisert: 24.9.2022
2. #22 Impredicativity, LEM, Realizability and more - Cody Roux

   Publisert: 12.8.2022
3. #21 Denotational Design - Conal Elliott

   Publisert: 4.8.2022
4. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

   Publisert: 27.6.2022
5. #19 Experience Report: Learning Coq - Patrick and Supun

   Publisert: 4.6.2022
6. #18 Gödel's Incompleteness Theorems - Cody Roux

   Publisert: 19.5.2022
7. #17 The Lost Elegance of Computation - Conal Elliott

   Publisert: 9.5.2022
8. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

   Publisert: 2.4.2022
9. #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

   Publisert: 27.3.2022
10. #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

    Publisert: 12.2.2022
11. #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

    Publisert: 23.12.2021
12. #12 Tenure, Sexism and ADHD - Talia Ringer

    Publisert: 10.11.2021
13. #11 FP, Monads, GHC, and beyond - Alejandro Serrano

    Publisert: 4.10.2021
14. #10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das

    Publisert: 15.7.2021
15. #9 Logic and Proof Theory - Anupam Das

    Publisert: 28.5.2021
16. #8 Cedille - Chris Jenkins

    Publisert: 11.5.2021
17. #7 Hacking Isabelle's Internals - Daniel Matichuk

    Publisert: 16.4.2021
18. #6 All The Dumb Questions on Gradual Types - Zeina Migeed

    Publisert: 29.3.2021
19. #5 The History of Coq'Art - Yves Bertot

    Publisert: 27.2.2021
20. #4 Theorem Provers, Functional Programming and Companies - Eric Bond

    Publisert: 15.2.2021