[Pharo-project] type inference in Pharo

Hi! There is some work being done on inferring type (http://concretetypeinference.blogspot.com). What is the theoretical background of this work? What is the algorithm used to infer the types? Cheers, Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.