Hacker News
- How to Build Static Checking Systems Using Orders of Magnitude Less Code [pdf] http://web.stanford.edu/~mlfbrown/paper.pdf 2 comments
- How to Build Static Checking Systems Using Orders of Magnitude Less Code https://web.stanford.edu/~mlfbrown/paper.pdf 9 comments rust
- How to Build Static Checking Systems Using Orders of Magnitude Less Code (2016) http://web.stanford.edu/~mlfbrown/paper.pdf 11 comments programming
- How to build static checking systems using orders of magnitude less code https://blog.acolyer.org/2016/05/31/how-to-build-static-checking-systems-using-orders-of-magnitude-less-code/ 9 comments haskell