Arjun Srivastava's Library
home

Arjun Srivastava's Library

Turing's Cathedral
George Dyson
"It is possible to invent a single machine which can be used to compute any computable sequence," twenty-four-year-old Alan Turing announced in 1936. In Turing's Cathedral, George Dyson focuses on a small group of men and women, led by John von Neuma...
Types and Programming Languages
Benjamin C. Pierce and Benjamin C. (professor Pierce, University Of Pennsylvania)
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they co...
previous page (1 of 2)