Luis Damas
I continued implementing the SLinks type system. I also discovered today that Milner's original W algorithm had been upgraded in a 1982 paper by Luis Damas and himself called 'Principal type-schemes for functional programs'. The W algorithm is nearly the same, except for the environment which uses type-schemes instead of the original types with a let or lambda flag attached. Type schemes are simply types with the generic variables marked. This is a much better way to handle generic variables than what had been done in the original paper. I changed (nearly: there is still some work to do tomorrow) all the code to use that new system, since I had some troubles with the original system in my case.