Java’s type system is unsound

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

Similar

Java mouse-deer

The Java mouse-deer (Tragulus javanicus)[2] is a species of even-toed ungulate in the family Tragulidae. When it reaches maturity it is about the size of a rabbit, making it one of the smallest ungulates. It is found in forests in Java and perhaps Bali, a...

Read more »