A brief introduction to type theory and the univalence axiom
Jackson Macor
Pragmatism, a New Name for Some Old Ways of Thinking
William James
Renaissance Truths: Humanism, Scholasticism and the Search for ...
Professor Alan R Perreiah
The Garbage Collection Handbook
Jones, Richard; Hosking, Antony; Moss, Eliot
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham