COSC 5V90
Functional Programming and Interactive Theorem Proving

• Tue & Thu, 3:30pm-5:00pm, Winter 2018
• Room: MCD205

Term Test 1 (60 min): February 08, 2018 February 13, 2018

Term Test 2 (60 min): March 15, 2018

Final exam (90 min): Tuesday, April 10, 2018, @10am in MCD205

• The Coq web page.
• Chlipala, A: An Introduction to Programming and Proving with Dependent Types in Coq.
• The Coq Cheat Sheet
• Slides Week 1
• Test 1 - 2016
• Test 2 - 2016
• Exam - 2016
• Sample questions for Test 1 and with solution
• Untyped Compiler Example
• Typed Compiler Example
• Lab 1
• Lab 2
• Lab 3
• Lab 3 (second version)
• Lab 3 (third version)
• Sample questions for Test 2 and with solution
• Lab 4
• Lab 5
• Exam of 2016 (sample questions for the exam)