Type Theory Forall
En podkast av Pedro Abreu
Kategorier:
44 Episoder
-
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
Publisert: 24.9.2022 -
#22 Impredicativity, LEM, Realizability and more - Cody Roux
Publisert: 12.8.2022 -
#21 Denotational Design - Conal Elliott
Publisert: 4.8.2022 -
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
Publisert: 27.6.2022 -
#19 Experience Report: Learning Coq - Patrick and Supun
Publisert: 4.6.2022 -
#18 Gödel's Incompleteness Theorems - Cody Roux
Publisert: 19.5.2022 -
#17 The Lost Elegance of Computation - Conal Elliott
Publisert: 9.5.2022 -
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
Publisert: 2.4.2022 -
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
Publisert: 27.3.2022 -
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Publisert: 12.2.2022 -
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
Publisert: 23.12.2021 -
#12 Tenure, Sexism and ADHD - Talia Ringer
Publisert: 10.11.2021 -
#11 FP, Monads, GHC, and beyond - Alejandro Serrano
Publisert: 4.10.2021 -
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
Publisert: 15.7.2021 -
#9 Logic and Proof Theory - Anupam Das
Publisert: 28.5.2021 -
#8 Cedille - Chris Jenkins
Publisert: 11.5.2021 -
#7 Hacking Isabelle's Internals - Daniel Matichuk
Publisert: 16.4.2021 -
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
Publisert: 29.3.2021 -
#5 The History of Coq'Art - Yves Bertot
Publisert: 27.2.2021 -
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
Publisert: 15.2.2021
An accessible podcast about Type Theory, Programming Languages Research and related topics.