Type Theory Forall

53 Afleveringen

1. #12 Tenure, Sexism and ADHD - Talia Ringer

   Gepubliceerd: 10-11-2021
2. #11 FP, Monads, GHC, and beyond - Alejandro Serrano

   Gepubliceerd: 4-10-2021
3. #10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das

   Gepubliceerd: 15-7-2021
4. #9 Logic and Proof Theory - Anupam Das

   Gepubliceerd: 28-5-2021
5. #8 Cedille - Chris Jenkins

   Gepubliceerd: 11-5-2021
6. #7 Hacking Isabelle's Internals - Daniel Matichuk

   Gepubliceerd: 16-4-2021
7. #6 All The Dumb Questions on Gradual Types - Zeina Migeed

   Gepubliceerd: 29-3-2021
8. #5 The History of Coq'Art - Yves Bertot

   Gepubliceerd: 27-2-2021
9. #4 Theorem Provers, Functional Programming and Companies - Eric Bond

   Gepubliceerd: 15-2-2021
10. #3 ML for PL and Mental Health - Dan Zheng

    Gepubliceerd: 1-2-2021
11. #2 Grad School Life - Rajan Walia and John Sarracino

    Gepubliceerd: 10-1-2021
12. #1 What is PL research? - Prof. Ben Delaware

    Gepubliceerd: 23-12-2020
13. #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.

    Gepubliceerd: 14-12-2020