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 /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