2 ms·Well-Typed Programs Can Go Wrong-A Study of Typing-Related Bugs in JVM Compilers [pdf]1 points by matt_d 5y ago