Currently, besides giving a presentation and being present at those of others, there is room
for a single project in the second half of the course. Anything that fits the topic goes here,
everything is open to discussion. A typical topic is to implement a type and effect system in
some context (a particular compiler, the lambda calculus,....).
I do expect you to present your project to the rest at the end of the course.
Typically a project will be performed by 2-3 people.
- 16 Aug 2011