Books/Courses
- https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf (Practical Foundations for Programming Languages)
- https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php (Parallelism and Concurrency )
Type Theory
Last modified: Mon Jun 13 2022 16:14:55 GMT+0000 (Coordinated Universal Time)