CS 428/528: Language-Based Security, Spring 2005

Last modified: January 24, 2005. Send email to cs428ta at cs.yale.edu for help. This page is still under construction!

Course Information

Reading List

Assignments

Schedule

Project Ideas (restricted access)

Resources

Online Documentations (not quite up-to-date yet)

  • Local HTML files for Coq (v8.0pl1)   FAQ, Reference Manual, Standard Library, and Tutorial.
  • Local PDF files for Coq (v8.0pl1)   Tutorial, Inductive Types, Reference Manual, 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
    • Copyright (c) 2005, Zhong Shao, Dept. of Computer Science, Yale University