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 ====== | ||