Forwarded from epic links / resources (kฮปletaa)
hindley1969.pdf
930.3 KB
The Principal Type-Scheme of An Object in Combinatory Logic - Roger Hindley
DOI: 10.2307/1995158
DOI: 10.2307/1995158
milner1978.pdf
1.6 MB
A Theory of Type Polymorphism in Programming - Robin Milner
DOI: 10.1016/0022-0000(78)90014-4
DOI: 10.1016/0022-0000(78)90014-4
Damas1984.Pdf
3.7 MB
Type Assignment in Programming Languages - Luis Damas
damas1982.pdf
263.7 KB
Principal Type-Schemes for Functional Programs - Luis Damas, Robin Milner
DOI: 10.1145/582153.582176
DOI: 10.1145/582153.582176
hmproof.pdf
151.7 KB
A proof of correctness for the Hindley-Milner type inference algorithm - Jeff Vaughan
jbwells-typability.pdf
897 KB
Typability and Type Checking in the Second-Order Lambda-Calculus Are Equivalent and Undecidable - J. B. Wells
Forwarded from Guppi
Modern Operating Systems 4th Edition--Andrew Tanenbaum (1).pdf
6.3 MB
ini textbook sejuta umat tentang OS.
Forwarded from epic links / resources (Model Komputasi)
The Computer Science Book
Introduction
Welcome to The Computer Science Book! This book contains ten chapters covering the main areas of a computer science degree. Together they will give you a comprehensive introduction to computer science.
I learned to program through self-study and then attendingโฆ
I learned to program through self-study and then attendingโฆ
๐1
Forwarded from /archive/ (l)
An Introduction to Electronic Warfare.pdf
136 MB
Forwarded from Deleted Account
Program = Proof
Samuel Mimram
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
Samuel Mimram
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
Forwarded from /archive/ (Tรฉcnico de Informรกtica)
Practical_Binary_Analysis_Build_Your_Own_Linux_Tools_for_Binary.pdf
32.9 MB