Mechanized Metatheory for the Masses: The PoplMark Challenge.
Brian E. AydemirAaron BohannonMatthew FairbairnJ. Nathan FosterBenjamin C. PiercePeter SewellDimitrios VytiniotisGeoffrey WashburnStephanie WeirichSteve ZdancewicPublished in: TPHOLs (2005)