CS 430/530: Formal Semantics, Spring 2025

CS 430/530: Formal Semantics

We will use the Ed Discussion forum for announcements and discussions. See the Quick Start Guide to learn how to use Ed Discussion.

Last modified: January 9, 2025. This page is still under major construction!

Software Foundations Volume 1 (Logical Foundations) with source files, by Benjamin C. Pierce, et al.
How to install opam and then install Coq with opam (try coq.8.20 or later for best compatibility with the Software Foundation books).
Coq (v8.20) Reference Manual, Standard Library, Documentation, CoqWiki, FAQ, and Tutorial.
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