[Pharo-project] Type inference

[Santiago Bragagnolo]

 Hello people. I'm looking for a software for type inference. I know is
there a software that does it, but i' dont know the project(s)'s name(s).
Can any one guide me :D?

Thanks in advance.