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:cri [2013/10/12 21:37] – etanterresearch:cri [2014/02/13 13:19] (current) – ifiguero
Line 3: Line 3:
 Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau and Éric tanter Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau and Éric tanter
  
-Submitted to Modularity 2014.+Accepted for publication at Modularity 2014.
  
 **Abstract** **Abstract**
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)