The past, present and future of the Java type system by Alasdair Collinson