- Diploma Thesis:
- TIFI+: A Type Checker of Object Immutability with Flexible Initialization. (Keywords: Type checking, Abstract Interpretation, Programming Languages, trying to solve the Halting Problem ;), Logics)
- Diploma Thesis weblog: More entertaining and less formal thoughts on the subject. (You need to be on the Uni subnet to access it or have the password (ask me)).
- There's also an introductory article (German) on Objective-C,
which I did for the Proseminar Programmiersprachen (small seminar
about programming languages) in the 3rd semester. (Also take a
look at the Proseminar Programmiersprachen homepage.)