Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| research [2018/11/13 08:08] – [Recent Software] mtoro | research [2018/11/13 08:10] (current) – [Recent Software] mtoro |
|---|
| |
| ==== Recent Software ==== | ==== Recent Software ==== |
| * [[research:software:gsf|GSF]]: Online executable of Gradual System F. | * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F. |
| * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of a gradual language with security typing and references. | * [[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 a gradual language with union types and the unknown type. | * [[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: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). |
