Hello,

How are the project typing Pharo ? Do you have a good type-inference algorithm ? I would be interested in this kind of algorithm.


2014-04-11 5:33 GMT-07:00 Eric Tanter <etanter@dcc.uchile.cl>:
BTW, if you are interested in typing for Smalltalk, you may want to look at Gradualtalk, a gradually-typed Pharo:

http://pleiad.cl/research/software/gradualtalk

Let us know if you have questions,

Best,

-- �ric


On Apr 11, 2014, at 3:54 AM, Jan Vrany <jan.vrany@fit.cvut.cz> wrote:

> OK,
>
> I've got stuff from Francisco. Thanks!
>
> Jan
>
>
> On 10/04/14 20:37, Jan Vrany wrote:
>> Hi,
>>
>> does anybody happen to have a copy of English translation
>> of Francisco Garau's thesis on Concrete Type Inference for Squeak
>> and is wiling to share this pearl with me?
>>
>> If so, please write me back, I would really appreciate that!
>>
>> Best, Jan
>>
>> _______________________________________________
>> Esug-list mailing list
>> Esug-list@lists.esug.org
>> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org
>
>
> _______________________________________________
> Esug-list mailing list
> Esug-list@lists.esug.org
> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org
>


_______________________________________________
Esug-list mailing list
Esug-list@lists.esug.org
http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org