Type Theory Forall

50 Episoder

1. #9 Logic and Proof Theory - Anupam Das

   Publisert: 28.5.2021
2. #8 Cedille - Chris Jenkins

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

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

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

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

   Publisert: 15.2.2021
7. #3 ML for PL and Mental Health - Dan Zheng

   Publisert: 1.2.2021
8. #2 Grad School Life - Rajan Walia and John Sarracino

   Publisert: 10.1.2021
9. #1 What is PL research? - Prof. Ben Delaware

   Publisert: 23.12.2020
10. #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.

    Publisert: 14.12.2020