Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision |
| gsf:start [2021/02/09 23:10] – created mtoro | gsf:start [2021/02/09 23:10] (current) – mtoro |
|---|
| |
| ====== Prototype Implementation ====== | ====== Prototype Implementation ====== |
| Additionally, an [[http://www.pleiad.cl/research/gsf/software|interactive prototype of GSF is available]], which exhibits both typing derivations and reduction traces, and comes with all the examples mentioned in the paper, among others. | Additionally, an [[http://www.pleiad.cl/research/gsf/software/|interactive prototype of GSF is available]], which exhibits both typing derivations and reduction traces, and comes with all the examples mentioned in the paper, among others. |
