The Checker Framework: Pluggable Type Systems for Java 8types.cs.washington.edu3 pointspron12 years ago