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
Next revisionBoth sides next revision
research:software:gradualtalk [2013/05/09 01:08] – eallenderesearch:software:gradualtalk [2013/05/09 13:27] – eallende
Line 4: Line 4:
  
 The type system of Gradualtalk supports as much Smalltalk idioms as possible through a number of features: a combination of nominal and structural types, union types, self types, parametric polymorphism, and blame tracking, amongst others.  The type system of Gradualtalk supports as much Smalltalk idioms as possible through a number of features: a combination of nominal and structural types, union types, self types, parametric polymorphism, and blame tracking, amongst others. 
 +
 +**Gradualtalk team:** Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter
  
 ===== Kind of Types ===== ===== Kind of Types =====
Line 27: Line 29:
 ===== Download ===== ===== Download =====
  
-The latest version of Gradualtalk can be found here:  [[https://ci.inria.fr/rmod/job/Gradualtalk/|Gradual Typing (Jenkins)]] +There are two images to download:
- +
-There are two images:+
  
-  * **Gradualtalk.zip**: The basic image of the Gradual Type System +  * **{{research:software:gradualtalk:gradualtalk.zip|gradualtalk.zip}}**: The basic image of the Gradual Type System 
-  * **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 to use the [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]]. We recommend to use the [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]].