[TYPES/announce] New release of Software Foundations text

Benjamin C. Pierce bcpierce at cis.upenn.edu
Thu Aug 4 07:50:32 EDT 2011

I'm delighted to announce that the Software Foundations team has recently released a new revision of our online textbook:


The book covers a semester-long course on basic Coq usage, constructive logic, and core topics in the theory of programming languages.  It is being used for graduate and advanced undergraduate courses at several institutions, as well as by many individuals for self-study.  The main novelty is that every line is formalized: the whole book is a Coq script.


    - Benjamin

More information about the Types-announce mailing list