Santiago's building on Francisco Garau's thesis, which builds on Ole Agesen's PhD thesis: ttps://labs.oracle.com/techrep/1996/smli_tr-96-52.pdf "Concrete Type Inference: Delivering Object-Oriented Applications" which tackles the problem of type inference in the context of a Self image. frank On 17 July 2012 17:08, Guillermo Polito <guillermopolito@gmail.com> wrote:
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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.