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 )
- https://type-level-typescript.com/ typescript webdevelopment