Well-typed programs can go wrong, finding bugs in compilers [pdf] (theosotr.github.io) 3 points by vons 4y ago ↗ HN
1 comment
[ 3.8 ms ] story [ 28.4 ms ] thread