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
research:gsf [2021/02/09 15:23] – etanterresearch:gsf [2021/02/09 15:52] (current) – 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 
-Auxiliary definitions and proofs of the main results can be found in the [[http://www.google.com|companion technical report]].+{{research:tr.pdf|companion technical report}}.
  
  
-====== 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.