Type Theory Forall

53 Epizód

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

   Közzétéve: 2021. 11. 10.
2. #11 FP, Monads, GHC, and beyond - Alejandro Serrano

   Közzétéve: 2021. 10. 04.
3. #10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das

   Közzétéve: 2021. 07. 15.
4. #9 Logic and Proof Theory - Anupam Das

   Közzétéve: 2021. 05. 28.
5. #8 Cedille - Chris Jenkins

   Közzétéve: 2021. 05. 11.
6. #7 Hacking Isabelle's Internals - Daniel Matichuk

   Közzétéve: 2021. 04. 16.
7. #6 All The Dumb Questions on Gradual Types - Zeina Migeed

   Közzétéve: 2021. 03. 29.
8. #5 The History of Coq'Art - Yves Bertot

   Közzétéve: 2021. 02. 27.
9. #4 Theorem Provers, Functional Programming and Companies - Eric Bond

   Közzétéve: 2021. 02. 15.
10. #3 ML for PL and Mental Health - Dan Zheng

    Közzétéve: 2021. 02. 01.
11. #2 Grad School Life - Rajan Walia and John Sarracino

    Közzétéve: 2021. 01. 10.
12. #1 What is PL research? - Prof. Ben Delaware

    Közzétéve: 2020. 12. 23.
13. #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.

    Közzétéve: 2020. 12. 14.