Concepts of Programming Languages [COMP3161 & COMP9161]

Semester 2, 2009

Stop Press <shift>+<Reload> to see latest information

[View All]

[17 Oct] Posted Week #13 exercises and solutions for Week #12.

[14 Oct] Posted the sample final exam.

[07 Oct] Posted solutions to Week #10 exercises.

[23 Sep] Posted Assigment 2.  By popular demand, you will have three weeks
  (instead of the originally announced two weeks) for it.

[19 Sep] Posted solutions Week #09 tutorial exercises and solutions for #07.

[14 Sep] Posted Week #7 slides and tutorial exercises for Week #08.

** IMPORTANT: Week #7 tutorial: Wed (2 Sep), 1-2pm @ CivEng G6 **

[26 Aug] Posted Week #6 slides and Week #7 tutorial exercises.

[25 Aug] Released Assignment 1.

[14 Aug] Posted Haskell Exercise #4 and the tutorial exercises for Week #05.

[12 Aug] Posted Week #04 lectures slides and the Week #04 tutorial solution 
  as well as a solution to Exercise #2.

[11 Aug] Sample mid-semester exam is available.

[07 Aug] Posted Week #04 tutorial exercises.

[06 Aug] Added Haskell Exercise #3 and a solution for #1.

[05 Aug] Posted slides and tutorial solution for Week #3.

[31 Jul] Posted tutorial exercises for Week #3.

[29 Jul] Slides and additonal explanatory text for the Week #2 lectures are now available.

[27 Jul] Posted tutorial exercises for this week (follow the "Exercises" link).

[22 Jul] Posted "Exercise 1" (follow the "Exercises" link).

[22 Jul] Posted the slides of the Week #1 lectures.
   (They are in the table reachable from the "Schedule" link.)

[22 Jul] "Haskell Resources" page now available.

[16 Jul] Welcome to COMP3161/COMP9161 "Concepts of Programming Languages"!

Important Information

Course Information

Lecture: Tue, 12:00-14:00 @ CivEng 713

Wed, 12:00-13:00 @ OMB 151

Staff Details:

LiC	: Manuel Chakravarty
Consult.	: Wednesday, 14:00-15:00

Tutor

: Sean Lee

All email to cs3161@cse.unsw.edu.au

Timetable
Schedule
Exercises
Sample mid-semester exam (solutions)
Assignment 1
Assignment 2
Sample final exam (solution)

Useful Resources

Course Forum
Haskell Resources
Lambda the Ultimate (The Programming Languages Weblog)
Background reading:
- The Free Lunch Is Over, Herb Sutter
- seL4: Formal Verification of an OS Kernel, Klein et al. (see also the proof announcement)

Note: This web page will be the most accurate source of information during the subject, and you should consult it frequently.

#Items marked with the hash sign (#) will be activated during the course.

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement