coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PL in Coq Survey

From: Jeffrey Vaughan <vaughan2 AT seas.upenn.edu>
To: poplmark AT lists.seas.upenn.edu, coq-club AT pauillac.inria.fr
Subject: [Coq-Club] PL in Coq Survey
Date: Fri, 18 Apr 2008 15:14:44 -0400
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

[Coq-Club] PL in Coq Survey, Jeffrey Vaughan
- [Coq-Club] why 2 Coq wikis?, Stefano Zacchiroli
  - Re: [Coq-Club] why 2 Coq wikis?, Benjamin Pierce
    - Message not available
      - Re: [Coq-Club] why 2 Coq wikis?, Benjamin Pierce