[POPLmark] PL in Coq Survey

[Jeffrey Vaughan]

Hello,

We in the Penn Provers group are assembling a list of all the groups 
currently using Coq to formalize programming languages theory.  If 
that's you, please send us a message (care of Jeff Vaughan, 
vaughan2/@/seas.upenn.edu) with a sentence or two about what you're 
doing and any relevant URLs.  Also, please let us know if it's *not* 
okay for us to repost your project description on our wiki.

Thank you!

Benjamin Pierce, Jeff Vaughan, Stephanie Weirich, and Steve Zdancewic
for the The University of Pennsylvania Provers Group