On Mar 26, 2013, at 12:05 PM, Frank Shearar <frank.shearar@gmail.com> wrote:

That includes both Francisco Garau's and Santiago Bragagnolo's work on
Concrete Type Inference,

yes we should build on top of them.

I wish francisco would like to continue pushing his master with us but he is busy with banks :)

Roel Wuyt's RoelTyper and my own tiny
inference engine in SqueakCheck
(http://www.squeaksource.com/SqueakCheck/ and its ConfigurationOf
might well need fixing for Pharo).

frank