Changes between Version 17 and Version 18 of LinearTypes


Ignore:
Timestamp:
Jul 12, 2018 12:46:51 PM (10 days ago)
Author:
jpbernardy
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LinearTypes

    v17 v18  
    1010
    1111The motivations, technical details and examples on the proposal are described in the article [https://arxiv.org/abs/1710.09756 Linear Haskell: practical linearity in a higher-order polymorphic language] published at POPL 2018.
     12
     13Implementation status as of July 2018: [[LinearTypes/Implementation]]
     14
     15Some motivating examples in the wiki: [[LinearTypes/Examples]]
     16
    1217
    1318== Implementation ==