The resident type theorist at a college I was considering attended recommended Luca Cardelli to me when I asked about good introductory texts: http://www.eecs.u

The resident type theorist at a college I was considering attended recommended Luca Cardelli to me when I asked about good introductory texts: http://www.eecs.umich.edu/~bchandra/courses/papers/Cardelli_Types.pdf http://www.eecs.umich.edu/~bchandra/courses/papers/Cardelli_...