Great overview of the Java unsoundness paper, and how null allows type system abuse: https://hackernoon.com/java-is-unsound-28c84cb2b3f