Tags: Programming Language.
In programming language theory the POPLmark challenge (formerly Mechanized Metatheory for the Masses!) is a set of benchmarks designed to evaluate the state of mechanization in the metatheory of programming languages and to stimulate discussion and collaboration among a diverse cross section of the formal methods community. The challenge was initially proposed by the members of the PL club at the University of Pennsylvania in association with collaborators around the world.