Changes between Initial Version and Version 1 of Ticket #12708, comment 17


Ignore:
Timestamp:
Nov 18, 2016 4:44:09 PM (3 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12708, comment 17

    initial v1  
    1 Simon and Richard's recent PLDI paper on [[https://www.microsoft.com/en-us/research/publication/levity-polymorphism/|levity polymorphism]] is quite relevant to this ticket (and in fact cites it).
     1Simon and Richard's recent PLDI submission on [[https://www.microsoft.com/en-us/research/publication/levity-polymorphism/|levity polymorphism]] is quite relevant to this ticket (and in fact cites it).