- Homotopy Type Theory Lectures by Bob Harper http://scs.hosted.panopto.com/panopto/pages/sessions/list.aspx#folderid=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22 67 comments haskell
Linking pages
- GitHub - Developer-Y/cs-video-courses: List of Computer Science courses with video lectures. https://github.com/Developer-Y/cs-video-courses 148 comments
- GitHub - prakhar1989/awesome-courses: List of awesome university courses for learning Computer Science! https://github.com/prakhar1989/awesome-courses 137 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:scs.hosted.panopto.com
Search title: Panopto
See how to search.