Today Lille Lars and I handed in our exam project for the course Types in Object Oriented Languages. The project, which we have given the fancy title Assignment Featherweight java: Bringind Mutable State to Featherweight java, turned out nicely, and we got the chance to freshen up some of our dusty SML/NJ skills by constructing a type-checker for the language we constructed in the project.