Type Systems - The Good Bad And Ugly - By Paul Snively And Amanda Laucher