Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
research:software:gradualtalk [2013/06/19 16:29] etanter |
research:software:gradualtalk [2014/06/11 12:21] 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/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: | ||
* {{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}}: Published in Proceedings of the 9th ACM Dynamic Languages Symposium (DLS 2013) | ||
====== Quick Reference ====== | ====== Quick Reference ====== | ||