The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

All,

Regular coq-club readers will remember all the questions I was generating in the fall as I grappled with how to best use Coq as the basis for a course on the theory of programming languages.  If you are interested in the outcome of all this, you may like to have a look here

  http://www.cis.upenn.edu/~bcpierce/courses/552-2008/index.html

at the final version of the course lecture notes (100% Coq!).  

I've also written up a short note describing the ups and downs of the experience (there were many of both :-), which can be found here:

  http://www.cis.upenn.edu/~bcpierce/papers/plcurriculum.pdf

Best,

    - Benjamin