Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
research [2018/11/13 05:46] – etanterresearch [2018/11/13 08:08] – [Recent Software] mtoro
Line 8: Line 8:
  
 ==== Recent Software ==== ==== Recent Software ====
-  * [[research:software:gsf|GSF]]: Gradual System F.+  * [[research:software:gsf|GSF]]: Online executable of Gradual System F. 
 +  * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of a gradual language with security typing and references.
   * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type.   * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type.
   * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction.   * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction.