CS 430/530: Formal Semantics Fall 2009, Yale University

Last modified: August 30, 2009. Send email to   for help or for discussion.

Course Information

Schedule

Lecture Notes

Section Notes

Assignments

Projects

Online Documentations

• Local HTML files for Coq (v8.2pl1)   FAQ, Reference Manual, Standard Library, and Tutorial.
• Local PDF files for Coq (v8.2pl1)   Tutorial, Inductive Types, Reference Manual, Standard Library, Syntax for V8, and V7-to-V8 Translation
• Coq and Coq'Art home pages, the coq-club mailing list, and other Coq documentation.
• Proof General and its FAQ, User Manual (PDF), and other documentation.
• GNU Online Docs, including the complete Emacs manual.
• Frequently-Asked Questions (FAQ) for Emacs (windows) and Unix.

• The Standard ML Basis Library
• The SML/NJ documentations including user guide, CM, and more.
• Bob Harper's Programming in Standard ML