Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
In brief
Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.