TypeInference: File based way of thinking

Marcus Denker denker at iam.unibe.ch
Sun Jul 2 15:23:35 UTC 2006


On 02.07.2006, at 16:29, Gerardo Richarte wrote:

> Hi Damien
>
>> Hi,
>> I'm currently interested in type inference. RoelTyper works by:
>
> 	Francisco Garau worked on his Thesis on Type Inference in Squeak, and
> the result was a quite complete Type Inference system working on  
> Squeak. I spent
> some time trying to find a URL for it, but I couldn't. Everything  
> seems to point
> to the now extinct swiki.net (http://typeinference.swiki.net).
>
> 	I think that you should be able to find it looking for it some  
> more time,
> or at least use it as pointer to find other related work. If you  
> finally give up
> finding his work, and unsuccessfully tried to contact him, and are  
> still interested,
> let me know.

I have both the Thesis pdf and the source. If anyone is interested, I  
can mail it.

      Marcus



More information about the Squeak-dev mailing list