POPL Coq tutorial

The Penn PL Club is presenting a Coq tutorial at POPL 2008. It covers Coq basics, the simply-typed lambda calculus, and System F<:. If you can’t attend, you can download the code, which is intended to be self-contained and looks quite clear.

One Response to “POPL Coq tutorial”

  1. Nada Sokoloff Says:

    Nice. There are a lot of calculus books here which will help you improve. They are available for download at Askdiana.net. A searchable database for PDF files and preview them before downloading.

Leave a Reply