Manifest: Thursday 6 April 2000

Assignments Due
Tuesday, 11 April (in class)	Problem Set 3
Monday, 17 April (11:59pm)	Position Paper 5
Friday, 28 April	Project Final Report

Read before or after Tuesday 11 April (handed out 4 April):

Raphael Finkel. Advanced Programming Language Design, "Chapter 7: Concurrent Programming". Addison-Wesley, 1996.

• What is type polymorphism?
• What is type inference?
• How are they related?
• How to perform type inference using set constraints and type judgment rules.
• What are the limitations of Hindley-Milner type inference?

University of Virginia CS 655: Programming Languages

cs655-staff@cs.virginia.edu Last modified: Mon Feb 26 12:48:25 2001