The Checker Framework: Custom pluggable types for Javatypes.cs.washington.edu2 pointspron12 years ago