Fingerprint
Dive into the research topics of 'A list-machine benchmark for mechanized metatheory'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A list-machine benchmark for mechanized metatheory
Andrew W. Appel, Robert Dockins, Xavier Leroy
Research output: Contribution to journal › Article › peer-review
7
Scopus
citations