Well-typed programs can go wrong, finding bugs in compilers [pdf] Posted by vons on Saturday June 04, 2022 @02:32AM from the theosotr.github.io dept. https://theosotr.github.io/assets/pdf/pldi22.pdf ( 1 comment | 3 points | on HN )