Finding typing compiler bugs

PROCEEDINGS ARTICLE published 9 June 2022 in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Authors: Stefanos Chaliasos | Thodoris Sotiropoulos | Diomidis Spinellis | Arthur Gervais | Benjamin Livshits | Dimitris Mitropoulos