Type Theory Forall
En podkast av Pedro Abreu
Kategorier:
44 Episoder
-
#43 PL in the Industry and Summer Schools - Patrick and Eric
Publisert: 13.9.2024 -
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
Publisert: 29.8.2024 -
#41 The Value of PL (and) Education - Satnam Singh
Publisert: 15.8.2024 -
#40 Secure Voting - Joe Kiniry
Publisert: 15.7.2024 -
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
Publisert: 13.6.2024 -
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Publisert: 16.5.2024 -
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Publisert: 11.3.2024 -
#36 Behind the Person Behind this Podcast - Pedro Abreu
Publisert: 26.12.2023 -
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Publisert: 4.12.2023 -
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Publisert: 16.10.2023 -
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Publisert: 9.9.2023 -
#32 TyDe Systems - Jan de Muijnck-Hughes
Publisert: 22.7.2023 -
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
Publisert: 13.7.2023 -
#30 Actors, GADTs and Burnout - Dan and Pedro
Publisert: 30.5.2023 -
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
Publisert: 9.4.2023 -
#28 Formally Verifying Smart Contracts - Pruvendo
Publisert: 15.2.2023 -
#27 Formalizing an OS: The seL4 - Gerwin Klein
Publisert: 4.2.2023 -
#26 Mechanizing Modern Mathematics - Kevin Buzzard
Publisert: 16.1.2023 -
#25 Formally Verifying the Tezos Codebase - Formal Land
Publisert: 21.11.2022 -
#24 The History of Isabelle - Lawrence Paulson
Publisert: 6.10.2022
An accessible podcast about Type Theory, Programming Languages Research and related topics.