TY  - RPRT
TI  - Linear Haskell: practical linearity in a higher-order polymorphic language
AU  - Jean-Philippe Bernardy
AU  - Mathieu Boespflug
AU  - Ryan R. Newton
AU  - Simon Peyton Jones
AU  - Arnaud Spiwack
PY  - 2017
DO  - 10.1145/3158093
UR  - https://arxiv.org/abs/1710.09756
ID  - 1710.09756
ER  -