Lobsters
- Types, Logic, Semantics, and Verification https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments compsci , video
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 - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- Episode 4: Stephanie Weirich on Zombie and Dependent Haskell | The Type Theory Podcast http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 24 comments
- GitHub - jwiegley/coq-pipes https://github.com/jwiegley/coq-pipes 19 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - sweirich/pi-forall: A demo implementation of a simple dependently-typed language https://github.com/sweirich/pi-forall 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.cs.uoregon.edu
Search title: Oregon Programming Languages Summer School
See how to search.