The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Mechanized Metatheory for the Masses: The PoplMark Challenge
The work
| Authors | Brian E. Aydemir; Aaron Bohannon; Matthew Fairbairn; J. Nathan Foster; Benjamin C. Pierce; Peter Sewell; Dimitrios Vytiniotis; Geoffrey Washburn; Stephanie Weirich; Steve Zdancewic |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2005 |
| Citekey | aydemir2005mechanized |
Where it appeared
| Published in | Theorem Proving in Higher Order Logics |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Series | Lecture Notes in Computer Science |
| Pages | 50--65 |
Identifiers
| DOI | 10.1007/11541868_4 |
|---|---|
| ISSN | 0302-9743 |
| ISBN | 978-3-540-28372-0 |
Access
| Landing page | https://doi.org/10.1007/11541868_4 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-24 12:21 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@incollection{aydemir2005mechanized,
title = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
author = {Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic},
year = {2005},
booktitle = {Theorem Proving in Higher Order Logics},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
pages = {50--65},
isbn = {978-3-540-28372-0},
issn = {0302-9743},
doi = {10.1007/11541868_4},
}
This record lives at https://refs.drheap.org/aydemir2005mechanized/ and will keep doing so.