Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
research [2018/10/16 11:48] – [Software] mtoro | research [2018/10/16 11:49] – [Software] mtoro |
---|
==== 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). |