Differences
This shows you the differences between two versions of the page.
| research:software:effscript:soundness [2015/05/07 18:12] – created etanter | research:software:effscript:soundness [2015/05/08 13:44] (current) – etanter | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Gradual Polymorphic Effects ====== | ====== Gradual Polymorphic Effects ====== | ||
| - | The full formal definition and the proof of type soundness is available here. | + | The full formal definition and the proof of type soundness is available |