Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
research:cri [2013/10/12 21:37] – etanterresearch:cri [2013/10/12 21:37] – etanter
Line 27: Line 27:
  
   * {{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}} (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)