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
Last revisionBoth sides next revision
research:software:gradualtalk [2013/05/09 16:47] eallenderesearch:software:gradualtalk [2013/11/26 15:23] eallende
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 ======
 +
 +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-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 211: Line 217:
  
 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.
-