[Pharo-project] type inference in Pharo

Frank Shearar frank.shearar at gmail.com
Tue Jul 17 12:48:14 EDT 2012


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 at 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 at 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
>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
>>
>>
>>
>>
>




More information about the Pharo-dev mailing list