Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, D. Spinellis
Proc. ACM Program. Lang.