The Java (and Scala) type system is unsound

We, Nada Amin and Ross Tate, broke the Java and Scala type systems!

Similar