Compsci Library 📚
225 subscribers
13 photos
86 files
434 links
Resource about my compsci study, random topic related mostly about system, compiler and programing language.
Download Telegram
Pierce_Types_Programming_Languages.pdf
1.8 MB
Types and Programming Language (2002)
Benjamin C. Pierce

Recommended book to learn about type system
🙏1
ModelsOfComputation.pdf
4.3 MB
Models Of Computation
John E. Savage
👍21
Introduction to Programming Languages
Jaemin Hong and Sukyoung Ryu

https://hjaem.info/itpl