Monday, April 25, 2016

Videos for "2013 Fall: 15-819 Advanced Topics in Programming Languages"


Course imparted by Robert Harper. I believe they are following the Homotopy Type Theory book. See also Harper's blog and the latest edition of his Practical Foundations for Programming Languages book. See also the "proof theory foundations" videos linked in the "So you want to learn type theory... but where to start?" page.
  1. video
  2. video
  3. video
  4. video
  5. video
  6. video
  7. video
  8. video
  9. video
  10. video
  11. video
  12. video
  13. video
  14. video
  15. video
  16. video
  17. video
  18. video
  19. video
  20. video
  21. video
  22. video
  23. video

No comments:

Post a Comment