Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:software:gradualtalk [2013/11/26 15:21]
eallende
research:software:gradualtalk [2014/06/11 12:21] (current)
oalvarez [Download]
Line 34: Line 34:
   * **{{research:​software:​gradualtalk:​gradualtalk-typedkernel.zip|gradualtalk-typedkernel.zip}}**:​ Has the same functionalities that the basic image, but additionally some kernel classes and the type system has been typed.   * **{{research:​software:​gradualtalk:​gradualtalk-typedkernel.zip|gradualtalk-typedkernel.zip}}**:​ Has the same functionalities that the basic image, but additionally some kernel classes and the type system has been typed.
  
-We recommend using [[http://www.mirandabanda.org/files/​Cog/​VM/​|Cog VM]].+We recommend using the latest ​[[http://pharo.org/downloadPharoVM]].
  
 As examples, we include some typed projects, available for download: As examples, we include some typed projects, available for download:
Line 41: Line 41:
   * [[ http://​www.pleiad.cl/​gradualtalk/​typed-projects/​Zinc-Typed.zip |Zinc]]   * [[ http://​www.pleiad.cl/​gradualtalk/​typed-projects/​Zinc-Typed.zip |Zinc]]
   * [[ http://​www.pleiad.cl/​gradualtalk/​typed-projects/​Spec.zip |Spec]]   * [[ http://​www.pleiad.cl/​gradualtalk/​typed-projects/​Spec.zip |Spec]]
- 
 ====== Publications ====== ====== Publications ======
  
 These are the research publications related with Gradualtalk:​ These are the research publications related with Gradualtalk:​
   * {{bib>​allendeAl-scp2013|Gradual Typing for Smalltalk}}:​ Accepted for publication in Science of Computer Programming,​ 2013 (PDF available)   * {{bib>​allendeAl-scp2013|Gradual Typing for Smalltalk}}:​ Accepted for publication in Science of Computer Programming,​ 2013 (PDF available)
-  * {{bib>​allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}}: ​Presented ​in Dynamic Languages Symposium2013 +  * {{bib>​allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}}: ​Published ​in Proceedings of the 9th ACM Dynamic Languages Symposium ​(DLS 2013)
 ====== Quick Reference ====== ====== Quick Reference ======