The Checker Framework enhances Java's type system to make it more powerfultypes.cs.washington.edu1 pointhenk5313 years ago