July 17, 2012
4:08 p.m.
It's in the same blog: http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html Cheers, Guille On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel@me.com>wrote:
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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.