Hacker News
- Logic, Languages, Compilation, and Verification Technical Lectures http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html 2 comments
Lobsters
- Technical Lectures on Programming Languages and Logic [2012] https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html 2 comments compsci
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
- GitHub - AbdesamedBendjeddou/Rusty-CS: A Computer Science Curriculum with Rust flavor! https://github.com/AbdesamedBendjeddou/Rusty-CS 22 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 - err0r500/foundational-knowledge-for-programmers: List of resources about foundational knowledge for programmers (supposed to last a few decades) https://github.com/err0r500/foundational-knowledge-for-programmers 1 comment
- GitHub - simonebrunozzi/open-guide-to-learning-tech-geek-nerdy-stuff: A list of resources to learn geek/tech/nerdy related topics, e.g. programming languages, android development, math, korean language https://github.com/simonebrunozzi/open-guide-to-learning-tech-geek-nerdy-stuff#miscellaneous 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:cs.uoregon.edu
Search title: Oregon Programming Languages Summer School
See how to search.