| Lectures | TuTh 11:35-12:55, EngTr 0070 Brigitte Pientka |
|---|---|
| Teaching Assistants |
Joshua Dunfield |
| Office Hours |
We 2:00-4:00pm, McC. Room 107N, Brigitte Pientka |
| Textbooks |
on reserve in Schulich Library Types and programming languages Benjamin Pierce, MIT Press, 2002. Advanced Topics in Types and Programming Languages Benjamin Pierce, MIT Press, 2004 |
| Supplementary Books |
on reserve in the Schulich library Concepts in programming languages, John Mitchell, Cambridge University Press, 2003. Essentials of programming languages, D. P. Friedman, M. Wand, C. T. Haynes. MIT Press, 2001. Introduction to SML., Robert Harper. Carnegie Mellon University Course notes |
| Credit | 3 units |
| Grading | 30% Homework, 20% Midterm, 30% Final, 20% Mini-Project and Presentation |
| Homework |
There will be 5 homeworks. Late homework will be accepted only under exceptional circumstances. |
| Midterm |
to be announced Closed book, one sheet of notes permitted. |
| Final |
to be announced Closed book, one sheet of notes permitted. |
| Project | To be announced |
| Academic integrity | McGill University values academic integrity. Therefore all students must understand the meaning and consequences of cheating, plagiarism and other academic offenses under the Code of Student Conduct and Disciplinary Procedures (see http://www.mcgill.ca/integrity for more information). Most importantly, work submitted for this course must represent your own efforts. Copying assignments or tests from any source, completely or partially, or allowing others to copy your work, will not be tolerated. |
| Home | http://www.cs.mcgill.ca/~bpientka/courses/comp523/ |