Computer Science 691PL - S-Adv Programming Languages
Spring
2014
01
3.00
Arjun Guha
TU TH 9:30AM 10:45AM
UMass Amherst
58383
A course on the mathematical foundations of programming languages, focusing on semantics and types. Students will learn to build language features and prove them correct using the Coq proof assistant.
Open to CMPSCI graduate students only. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/overrides.