�Hi all! i just wrote a couple of posts about the Concrete type inference project! I hope you enjoy my adventures & misadventures over this fantastic world :D

http://concretetypeinference.blogspot.com.ar/2012/06/about-mechanisms-part-4-about-error.html� [ About Error contexts ]
http://concretetypeinference.blogspot.com.ar/2012/06/about-mechanisms-part-5-about-error.html� [ About Error management ]
http://concretetypeinference.blogspot.com.ar/2012/06/about-mechanisms-part-6-primitives.html [ About primitive analysis improvements ]
http://concretetypeinference.blogspot.com.ar/2012/06/concrete-type-inference-news.html [ About progress :) ]


Good week, and keep tunned :)