Type Theory Forall

53 Epizód

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

   Közzétéve: 2023. 07. 22.
2. #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

   Közzétéve: 2023. 07. 13.
3. #30 Actors, GADTs and Burnout - Dan and Pedro

   Közzétéve: 2023. 05. 30.
4. #29 Can PL theory make you a better software engineer? - Jimmy Koppel

   Közzétéve: 2023. 04. 09.
5. #28 Formally Verifying Smart Contracts - Pruvendo

   Közzétéve: 2023. 02. 15.
6. #27 Formalizing an OS: The seL4 - Gerwin Klein

   Közzétéve: 2023. 02. 04.
7. #26 Mechanizing Modern Mathematics - Kevin Buzzard

   Közzétéve: 2023. 01. 16.
8. #25 Formally Verifying the Tezos Codebase - Formal Land

   Közzétéve: 2022. 11. 21.
9. #24 The History of Isabelle - Lawrence Paulson

   Közzétéve: 2022. 10. 06.
10. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich

    Közzétéve: 2022. 09. 24.
11. #22 Impredicativity, LEM, Realizability and more - Cody Roux

    Közzétéve: 2022. 08. 12.
12. #21 Denotational Design - Conal Elliott

    Közzétéve: 2022. 08. 04.
13. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

    Közzétéve: 2022. 06. 27.
14. #19 Experience Report: Learning Coq - Patrick and Supun

    Közzétéve: 2022. 06. 04.
15. #18 Gödel's Incompleteness Theorems - Cody Roux

    Közzétéve: 2022. 05. 19.
16. #17 The Lost Elegance of Computation - Conal Elliott

    Közzétéve: 2022. 05. 09.
17. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

    Közzétéve: 2022. 04. 02.
18. #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

    Közzétéve: 2022. 03. 27.
19. #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

    Közzétéve: 2022. 02. 12.
20. #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

    Közzétéve: 2021. 12. 23.