The Checker Framework enhances Java's type system to make it more powerfultypes.cs.washington.edu1 point·henk53··0 commentsOpen articleSaveView on HN