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
Next revisionBoth sides next revision
research:gsf [2021/02/09 15:23] – etanterresearch:gsf [2021/02/09 15:51] – elabrada
Line 5: Line 5:
 This page provides access to the supplementary material accompanying our current submission, which extends {{bib>toroAl:popl2019|our POPL'19 paper}}. This page provides access to the supplementary material accompanying our current submission, which extends {{bib>toroAl:popl2019|our POPL'19 paper}}.
  
-====== Te +====== Technical Report ====== 
-chnical Report ====== +Auxiliary definitions and proofs of the main results can be found in the companion technical report 
-Auxiliary definitions and proofs of the main results can be found in the [[http://www.google.com|companion technical report]].+{{research:tr.pdf| Gradual System F: Auxiliary Definitions and Proofs}}.
  
  
-====== P +====== Prototype Implementation ======
-rototype 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.