Hi all! Here are the week news from TypeInference project :) Enjoy the week! . http://concretetypeinference.blogspot.com.ar/2012/06/news-cti.html Whats new in ConcreteTypeInference http://concretetypeinference.blogspot.com.ar/2012/06/news-kh.html Whats new in KwisatzHaderach http://concretetypeinference.blogspot.com.ar/2012/06/about-mechanisms-part-3... Little explanation of type in our context. http://concretetypeinference.blogspot.com.ar/2012/06/kwisatz-haderach-about-... Graph building 'concepts exposition