Type Theory Forall

53 Odcinki

1. #32 TyDe Systems - Jan de Muijnck-Hughes

   Opublikowany: 22.07.2023
2. #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

   Opublikowany: 13.07.2023
3. #30 Actors, GADTs and Burnout - Dan and Pedro

   Opublikowany: 30.05.2023
4. #29 Can PL theory make you a better software engineer? - Jimmy Koppel

   Opublikowany: 9.04.2023
5. #28 Formally Verifying Smart Contracts - Pruvendo

   Opublikowany: 15.02.2023
6. #27 Formalizing an OS: The seL4 - Gerwin Klein

   Opublikowany: 4.02.2023
7. #26 Mechanizing Modern Mathematics - Kevin Buzzard

   Opublikowany: 16.01.2023
8. #25 Formally Verifying the Tezos Codebase - Formal Land

   Opublikowany: 21.11.2022
9. #24 The History of Isabelle - Lawrence Paulson

   Opublikowany: 6.10.2022
10. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich

    Opublikowany: 24.09.2022
11. #22 Impredicativity, LEM, Realizability and more - Cody Roux

    Opublikowany: 12.08.2022
12. #21 Denotational Design - Conal Elliott

    Opublikowany: 4.08.2022
13. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

    Opublikowany: 27.06.2022
14. #19 Experience Report: Learning Coq - Patrick and Supun

    Opublikowany: 4.06.2022
15. #18 Gödel's Incompleteness Theorems - Cody Roux

    Opublikowany: 19.05.2022
16. #17 The Lost Elegance of Computation - Conal Elliott

    Opublikowany: 9.05.2022
17. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

    Opublikowany: 2.04.2022
18. #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

    Opublikowany: 27.03.2022
19. #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

    Opublikowany: 12.02.2022
20. #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

    Opublikowany: 23.12.2021