I sometimes write about work,
but please keep in mind that I never speak for my employer.
01:18 pm, 3 Dec 03
Oh, and those type inference papers were from this long and informative post about why it's hard to track down type errors with type-inferring systems. (This is definitely the case for me when I use OCaml.)