Course Assignments

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.

-- JurriaanHage - 16 Aug 2011