Hindley-Milner algorithm
I studied Milner's 1978 paper 'A Theory of Type Polymorphism in Programming' and in particular the algorithm W to produce a well-typing for a simple lambda-calculus based language, 'Exp'. I presented the algorithm to Prof. Wadler, to make sure I had actually understood it.
I started then working on an implementation of the algorithm in o'caml. I have updated the parser, lexer, and internal types from my old interpreter to accept Milner's Exp language. That means more or less all the 'support work' has been done. I have also started implementing the algorithm in itself, but there is still plenty to do there.
I also installed the weblog system to track my work during my master project in Edinburgh.