Differences

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

--- research [2018/11/13 09:45] – etanter
+++ research [2024/05/15 18:55] (current) – [Recent Software] darquez
@@ Line 7: / Line 7: @@
 For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section.
-==== Software ====
+==== Recent Software ====
-  * [[research:software:gsf|GSF]]: Gradual System F.
+  * [[https://github.com/darquezt/gsoul-lang#readme|GSoul]]: Typescript implementation of GSoul, a gradual sensitivity language.
-  * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type.
+  * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F.
+  * [[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).