How to Build Static Checking Systems Using Orders of Magnitude Less Code [pdf]web.stanford.edu6 points·bazzargh··0 commentsOpen articleSaveView on HN