> At the the OOPSLA Squeak BOF back in October, someone announced that
> they were working on a type inferencer for Squeak.  I  thought that
> they also said that they would post the URL for the inferencer to
> this list.
> 
> But I haven't seen it.  Can anyone give me pointers to this work?

The diligent MathMorph people mentioned this as work in progress a month or
two ago, IIRC. It should be in the archives somewhere.

Henrik