Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
research:software:gradualtalk [2013/06/11 05:03] – eallenderesearch:software:gradualtalk [2014/06/11 15:21] (current) – [Download] oalvarez
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/download| PharoVM]].
  
 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:
-  * {{research:software:gradualtalk:gradualtalk-scp.pdf|Gradual Typing for Smalltalk}}: Accepted with minor revisions at Science of Computer Programming, 2013. +  * {{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}}: Published in Proceedings of the 9th ACM Dynamic Languages Symposium (DLS 2013)
 ====== Quick Reference ====== ====== Quick Reference ======
  
Line 217: Line 216:
  
 We are working into provide support to Monticello in order to easily upload/download typed code. We are working into provide support to Monticello in order to easily upload/download typed code.
-