A Catalog of Research Compiler Infrastructures and Tools

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.

This entry was posted on Monday, January 7th, 2008 at 4:53 pm and is filed under Theorem provers. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.