A list-machine benchmark for mechanized metatheory
- Andrew W. Appel
- , Robert Dockins
- , Xavier Leroy
Research output: Contribution to journal › Article › peer-review
7
Link opens in a new tab
Scopus
citations