This article by Tomas Petricek goes into some interesting historical background ...

		ihnorton on June 4, 2015 \| parent \| context \| favorite \| on: Introduction to Concurrency This article by Tomas Petricek goes into some interesting historical background and philosophical questions regarding types: http://tomasp.net/blog/2015/against-types/