e/POPLmark challenge

Information
has gloss	eng: __NOTOC__ In type theory and programming languages, the POPLmark challenge 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. The Workshop on Mechanized Metatheory is the main meeting of researchers participating in the challenge.
lexicalization	eng: POPLmark challenge
instance of	c/Programming language topics