History of logic and programming languages

The Implicit Calculus: A New Foundation for Generic Programming [pdf]

The Researcher's Bible

Basics of Machine Learning