CS 528/428: Language-Based Security

Spring 2011, Yale University
Last modified: January 10, 2011. Send email to cs428ta at cs dot yale dot edu for help or cs428 at cs dot yale dot edu for discussion.

Course Information

Reading List

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) 2009-2011, Zhong Shao, Dept. of Computer Science, Yale University