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.
gera
Gerardo Richarte wrote:
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.
Thank you for this.
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
On 02.07.2006, at 18:01, Damien Cassou wrote:
I have both the Thesis pdf and the source. If anyone is interested, I can mail it.
http://www.iam.unibe.ch/~denker/temp/TiThesis-1.pdf http://www.iam.unibe.ch/~denker/old-download/TypeInference.sar
Marcus Denker wrote:
On 02.07.2006, at 18:01, Damien Cassou wrote:
I have both the Thesis pdf and the source. If anyone is interested, I can mail it.
http://www.iam.unibe.ch/~denker/temp/TiThesis-1.pdf http://www.iam.unibe.ch/~denker/old-download/TypeInference.sar
Thank you very much
squeak-dev@lists.squeakfoundation.org