A framework for testing compilers' type checkers
(67 stars) (16 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
リポジトリ
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".