| This directory discusses the examples from the paper | |
| "Java and Scala's Type Systems are Unsound - The Existential Crisis of Null Pointers" | |
| by Amin and Tate, OOPSLA 2016. | |
| The un-annotated example programs all get rejected either by a Java 9+ javac or by the | |
| Nullness Checker. | |
| Figure3NC and Figure6NC are variations of the examples with nullness annotations. | |
| Those versions pass the Nullness Checker, but result in ClassCastExceptions! |