Changes between Version 20 and Version 21 of LinearTypes


Ignore:
Timestamp:
Dec 5, 2018 3:05:23 PM (12 months ago)
Author:
aspiwack
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LinearTypes

    v20 v21  
    1616
    1717Talks:
    18 * [https://www.youtube.com/watch?v=o0z-qlb5xbI Arnaud Spiwack at Popl 2018]
     18* [https://skillsmatter.com/skillscasts/10637-distributed-programming-with-linear-types Arnaud Spiwack at Haskell Exchange 2018], speaking about some of the goals and vision for Linear Types in Haskell
     19* [https://www.youtube.com/watch?v=o0z-qlb5xbI Arnaud Spiwack at Popl 2018], laying out the theory of Linear Haskell
    1920* [https://www.youtube.com/watch?v=t0mhvd3-60Y Simon Peyton Jones at Curry On 2018], longer but covers more ground.
     21* [https://skillsmatter.com/skillscasts/11067-keynote-linear-haskell-practical-linearity-in-a-higher-order-polymorphic-language Simon Peyton Jones at Haskell Exchange 2018], similar to the Curry On talk, but Arnaud speaks inaudibly in the background from time to time
    2022
    2123== Implementation ==