https://github.com/tk-notes/cs-degree

My Computer Science Degree
https://github.com/tk-notes/cs-degree

computer-science study study-notes

Last synced: about 14 hours ago
JSON representation

My Computer Science Degree

• Host: GitHub
• URL: https://github.com/tk-notes/cs-degree
• Owner: tk-notes
• License: mit
• Created: 2018-11-13T02:25:31.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-05-04T22:09:50.000Z (over 5 years ago)
• Last Synced: 2024-08-24T02:02:01.253Z (3 months ago)
• Topics: computer-science, study, study-notes
• Size: 6.84 KB
• Stars: 9
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-resources-cs - Teach Yourself Computer Science

README

        
# Computer Science Degree

- [Path to a free self-taught education in Computer Science](https://github.com/ossu/computer-science)

- [Teach Yourself Computer Science](https://teachyourselfcs.com/)

## Programming Languages Theory

### Learning Path

- [The design side of programming language design](http://tomasp.net/blog/2017/design-side-of-pl/)

- [Programming Language Theory](https://steshaw.org/plt/)

### Resources

- [Programming Languages, Part A](https://www.coursera.org/learn/programming-languages/home/welcome)

- [Programming Languages, Part B](https://www.coursera.org/learn/programming-languages-part-b/home/welcome)

- [Programming Languages, Part C](https://www.coursera.org/learn/programming-languages-part-c/home/welcome)

- [Study track: Programming Languages and Systems (PLS)](https://studies.ku.dk/masters/computer-science/programme-structure/recommended_studytracks/programming-languages/)

- [What books should one get to learn about Compilers, Interpreters and Language Design?](https://www.quora.com/What-books-should-one-get-to-learn-about-Compilers-Interpreters-and-Language-Design/answer/Quildreen-Motta)

- [[Video] CS173 Brown University - Programming Languages](https://www.youtube.com/playlist?list=PL-R-PWkyRREf3Zjk6UFI5mhKt9XuLMC3G)

- [[Videos] Theory of Programming Language](https://www.youtube.com/playlist?list=PLKXOz27AMknH_Kj_-s-1GtHny7D_9c1QW)

### Type

- [[Videos] Types, Logic, Semantics, and Verification](http://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php)

- [[Paper] https://github.com/jonsterling/type-theory-and-its-meaning-explanations](https://github.com/jonsterling/type-theory-and-its-meaning-explanations)

### Paralelism

- [[Videos] Parallelism and Concurrency](https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php)