This blog is for announcements and discussion relating to the UofC course CMSC 32001-1, Topics in Programming Languages, Spring 2007.
Although the official title of the course is the generic "Topics in Programming Languages", the unofficial title is "Implementing Type and Module Systems". The course will cover a range of basic and advanced techniques used in implementing modern type systems, including module systems like that of Standard ML. The first detailed examples of implementation techniques will come from the Standard ML of New Jersey (SML/NJ) compiler, but there will be background readings relating to design and implementation issues covering a variety of related systems and various extensions to the ML type system. The formal, graded work for the course will consist of a paper or programming project due at the end of the course.
The first meeting is at 10:30am in Ry 277 on Monday, March 26. There will be no meetings on Wednesday or Friday this week because I will be away at ESOP 07, so we will continue on Monday, April 2. A make-up class will be scheduled later in the quarter.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment