[Pharo-project] Type inference

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.