A framework for testing compilers' type checkers
(67 star) (16 fork) (0 issue indicizzate) (0 good first issue aperte)
Repository
A framework for testing compilers' type checkers
Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".