unsound
unsound copied to clipboard
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Results
4
unsound issues
Sort by
recently updated
recently updated
newest added
The field: ``` final Constrain
I watched Java 8 inference on the Unsound example and have indications that this is deterministically rejected by the rules of JLS. Please have a look at https://bugs.eclipse.org/bugs/show_bug.cgi?id=510900#c1
Reported in https://news.ycombinator.com/item?id=13050491
I have two wish-list items. 1. Make "by Nada Amin and Ross Tate" or something like that (with links) be something just under the title. Then we can take out...