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 [2018/10/16 11:48] – [Software] mtororesearch [2018/10/16 11:49] – [Software] mtoro
Line 9: Line 9:
 ==== Software ==== ==== Software ====
   * [[research:software:gsf|GSF]]: Gradual System F.   * [[research:software:gsf|GSF]]: Gradual System F.
 +  * [[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.
   * [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual).   * [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual).