PLunch: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language
James Parker
Abstract
Weekly PL lunch discussing the paper "Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language." Discussion will be led by James Parker.
Paper available here: https://arxiv.org/pdf/1710.09756.pdf
Sign up to present here: https://docs.google.com/spreadsheets/d/1qOSdfrRyT7D3VyLtp992x0F5vVmaFpLIOh0Nh91DRWk?usp=sharing
This talk is organized by Kesha Hietala