Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
research:gsf [2021/02/09 15:24] – etanterresearch:gsf [2021/02/09 15:52] – elabrada
Line 6: Line 6:
  
 ====== Technical Report ====== ====== Technical Report ======
-Auxiliary definitions and proofs of the main results can be found in the [[http://www.google.com|companion technical report]].+Auxiliary definitions and proofs of the main results can be found in the 
 +{{research:tr.pdf| Gradual System F: 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.