Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
research:cri [2013/10/12 21:37] – etanterresearch:cri [2013/10/12 21:38] – etanter
Line 26: Line 26:
 **Artefacts** **Artefacts**
  
-  * {{research:software:cri:TR.pdf|Companion technical report}} (includes a 2-page appendix with the missing proofs) +  * {{research:software:cri:TR.pdf|Companion technical report (TR/DCC-2013-8)}} (includes a 2-page appendix with the missing proofs) 
   * {{research:software:cri:CRI.zip|Code of the paper}} (tested with GHC)   * {{research:software:cri:CRI.zip|Code of the paper}} (tested with GHC)