Linear Haskell: practical linearity in a higher-order polymorphic language

Bernardy, Jean-Philippe; Boespflug, Mathieu; Newton, Ryan R.; Peyton Jones, Simon; Spiwack, Arnaud

doi:10.1145/3158093

Linear Haskell: practical linearity in a higher-order polymorphic language

Bernardy, Jean-Philippe, Boespflug, Mathieu, Newton, Ryan R., Peyton Jones, Simon, Spiwack, Arnaud·2018·Proceedings of the ACM on Programming Languages

DOI 10.1145/3158093