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: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 can be downloaded here}} (tested with GHC)+  * {{research:software:cri:CRI.zip|Code of the paper}} (tested with GHC)