How to Build Static Checking Systems Using Orders of Magnitude Less Code [pdf] (web.stanford.edu) 6 points by bazzargh 10y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 9.4 ms ] threadNo comments yet.