Formalities

This module is taught as part of the Advanced Topics in Programming Language course.

See that course description for details.