Changes between Version 19 and Version 20 of LinearTypes


Ignore:
Timestamp:
Sep 21, 2018 11:53:07 AM (3 weeks ago)
Author:
aspiwack
Comment:

Links to videos of talk

Legend:

Unmodified
Added
Removed
Modified
  • LinearTypes

    v19 v20  
    1515Some motivating examples in the wiki: [[LinearTypes/Examples]]
    1616
     17Talks:
     18* [https://www.youtube.com/watch?v=o0z-qlb5xbI Arnaud Spiwack at Popl 2018]
     19* [https://www.youtube.com/watch?v=t0mhvd3-60Y Simon Peyton Jones at Curry On 2018], longer but covers more ground.
    1720
    1821== Implementation ==