"Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher