- Zero-runtime-overhead nullability check in Java. Why do you still see NPEs'? http://types.cs.washington.edu/jsr308/ 25 comments java
- Pluggable Type Systems in Java 8 http://types.cs.washington.edu/checker-framework/ 24 comments programming
- The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. [x-post from /r/javapro] http://types.cs.washington.edu/checker-framework/ 4 comments java