CIS 500: Software Foundations - Fall 2020

Text

Discussion Forum

Poll Everywhere

Homework

The main texts for the course are the online books Logical Foundations and Programming Language Foundations , volumes 1 and 2 of the Software Foundations series. A good supplemental text is Types and Programming Languages . Recommendations for some other useful books can be found in the Postscript chapter of Software Foundations.We will use Piazza for both announcements and discussions. Please register yourself there to make sure you keep up with what's happening.To make lectures more interactive, we will be using the Poll Everywhere platform. There is no charge to students for using this platform.

Homework can be submitted via Canvas. If you are taking the course but cannot access the CIS 500 Canvas pages, please contact one of the TAs.

When submitting Coq files as homeworks, make sure that Coq accepts your file in its entirety. If it does not, it will not be graded. You can use Admitted to force Coq to accept incomplete proofs.