Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
research:software:gradual-unions [2017/05/02 10:58] – [Static and dynamic errors] mtororesearch:software:gradual-unions [2017/05/02 12:26] – [Gradual Unions: A Gradual Interpretation of Union Types] mtoro
Line 11: Line 11:
   * How to install the prototype implementation of GSEC<sup>+</sup>. This prototype shows interactive typing and reduction derivations for arbitrary source program.   * How to install the prototype implementation of GSEC<sup>+</sup>. This prototype shows interactive typing and reduction derivations for arbitrary source program.
   * An overview of the application and a basic presentation of the language syntax.   * An overview of the application and a basic presentation of the language syntax.
-  * Detailed examples of use. +  * Examples of use.
  
 +An online version of this document can be found [[https://pleiad.cl/research/software/gradual-unions|here]] 
 ===== Installation instructions ===== ===== Installation instructions =====