Compsci Library
📚
@compsciresources
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
Join
Compsci Library
📚
225 subscribers
Compsci Library
📚
Pierce_Types_Programming_Languages.pdf
1.8 MB
Types and Programming Language
(2002)
Benjamin C. Pierce
Recommended book to learn about type system
🙏
1
Compsci Library
📚
https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory
Compsci Library
📚
ModelsOfComputation.pdf
4.3 MB
Models Of Computation
John E. Savage
👍
2
✍
1
Compsci Library
📚
https://arxiv.org/abs/2503.05136
arXiv.org
The Beginner's Textbook for Fully Homomorphic Encryption
Fully Homomorphic Encryption (FHE) is a cryptographic scheme that enables computations to be performed directly on encrypted data, as if the data were in plaintext. After all computations are...
⚡
1
🔥
1
Compsci Library
📚
Introduction to Programming Languages
Jaemin Hong and Sukyoung Ryu
https://hjaem.info/itpl
Compsci Library
📚
Category Theory Illustrated
Jencel P.
https://abuseofnotation.github.io/category-theory-illustrated/