Differences

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

--- research [2018/11/13 05:46] – etanter
+++ research [2018/11/13 08:10] (current) – [Recent Software] mtoro
@@ Line 8: / Line 8: @@
 ==== Recent Software ====
-  * [[research:software:gsf|GSF]]: Gradual System F.
+  * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F.
-  * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type.
+  * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of GSLRef, a gradual language with security typing and references.
+  * [[research:software:gradual-unions|Gradual Unions]]: Online executable of GTFL, a gradual language with union types and the unknown type.
   * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction.
   * [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual).