A List-machine Benchmark for Mechanized Metatheory. (Extended Abstract)
- Andrew W. Appel
- , Xavier Leroy
Research output: Contribution to journal › Article › peer-review
10
Link opens in a new tab
Scopus
citations