... | ... | @@ -26,6 +26,7 @@ Talks: |
|
|
- [Arnaud Spiwack at Popl 2018](https://www.youtube.com/watch?v=o0z-qlb5xbI), laying out the theory of Linear Haskell
|
|
|
- [Simon Peyton Jones at Curry On 2018](https://www.youtube.com/watch?v=t0mhvd3-60Y), longer but covers more ground.
|
|
|
- [Simon Peyton Jones at Haskell Exchange 2018](https://skillsmatter.com/skillscasts/11067-keynote-linear-haskell-practical-linearity-in-a-higher-order-polymorphic-language), similar to the Curry On talk, but Arnaud speaks inaudibly in the background from time to time
|
|
|
- [Divesh Otwani at Zurihac 2020](https://www.youtube.com/watch?v=I7-JuVNvz78), on [linear-base](https://github.com/tweag/linear-base/) and applications of linear to (pure!) mutable state.
|
|
|
|
|
|
## Implementation
|
|
|
|
... | ... | |