COMP 302: Programming Languages and Paradigms
This course is designed to provide a thorough introduction to the foundations and paradigms of programming languages. In particular, we will investigate functional programming in theory and practice and learn about some of the considerations underlying Java and object-oriented programming. Some of the topics to be covered are functional programming, lambda-calculus, type systems, continuations, Java and the object-oriented paradigm, and subtyping.
Winter Term - COMP 302 Programming Languages and Paradigms.Notices
- 29 Jun 08 -- The solution to the first question of assignment 3 can be found here. I will provide a copy of this tomorrow for the exam.
- 29 Jun 08 -- The exam will be held this monday from 0900-1200 at Engmc 13.
- 27 Jun 08 -- The java and subtyping notes have been posted online.
- 14 Jun 08 -- Some code examples from last class are provided on the schedule page. These examples should help you with the assignment.
- 13 Jun 08 -- Assignment 3 is up. It will be due on the 27th of June.
- 09 Jun 08 -- The date for the two quizzes have been set to the 12 Jun and the 19th of June. The quiz for this thursday will be on operational semantics with variables. I will ask you to infer the value of an expression in nano-ml. The reference is in the schedule.
- 29 May 08 -- I have to cancel this afternoon's office hour for my convocation. If you are having trouble meeting me, you can make an appointment with me by email.
- 29 May 08 -- The date of the final exam has been set to June 30th. It will be in the morning from 9:00 - 12:00, in ENGMC 13. For now I am assuming that everyone is available for this exam. If you have a problem, please let me know asap.
- 22 May 08 -- The midterm will be moved to June 5th due to conflicts with final exams. If this causes a conflict for you, please inform me asap!
- 22 May 08 -- Assigment 2 is up
- 21 May 08 -- Solutions to assignment 1 posted.
- 16 May 08 -- I have to make a correction to make regarding the last lecture. In particular, the correction is in regards to certain operational semantics in SML. These corrections should be easy to resolve but they have large consequences for the assignment. I will be re-writing the thursday notes to reflect the changes, and I will spend more time working with continuations in the next lecture. The next assignment will distributed on Tuesday, and will be due before the midterm.
- 16 May 08 -- I have made a slight change to the pre-midterm schedule, with more lecture time for higher-order functions and less for types. We will go into types in more detail after the midterm exam. I've also move the lambda calculus class to the end of the course. There will be no further changes to the schedule before the midterm.
- 16 May 08 -- Today I will be booking a room for the final exam. The time will be 9:00 am on Monday, June 30th. If there is any reason that you cannot take the exam at this time, please let me know immediately.
- 9 May 08 -- I have an emergency appointment on the 13th of May, so I will have to cut the lecture one hour short, and my office hour will have to be postponed to later that day. To compensate, I will extend the deadline for the first assignment to Friday, the 16th, at 5pm.
- 3 May 08 -- The first assignment is up. You should be ready to start writing the first assigment after Tuesday's class. Also, I've posted an electronic copy of the syllabus