Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
research:gsf [2021/02/09 15:52] – elabradaresearch:gsf [2021/02/09 15:52] (current) – elabrada
Line 7: Line 7:
 ====== Technical Report ====== ====== Technical Report ======
 Auxiliary definitions and proofs of the main results can be found in the Auxiliary definitions and proofs of the main results can be found in the
-{{research:tr.pdf| Gradual System F: companion technical report}}.+{{research:tr.pdf|companion technical report}}.
  
  
 ====== 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.