[Pharo-project] type inference in Pharo
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.
On 17 July 2012 17:08, Guillermo Polito <guillermopolito at gmail.com> wrote:
> It's in the same blog:
> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel at me.com>
>> 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?
>> Alexandre Bergel http://www.bergel.eu
More information about the Pharo-dev