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

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon L. Peyton Jones, Arnaud Spiwack. Linear Haskell: practical linearity in a higher-order polymorphic language. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Authors

Jean-Philippe Bernardy

This author has not been identified. It may be one of the following persons: Look up 'Jean-Philippe Bernardy' in Google

Mathieu Boespflug

This author has not been identified. Look up 'Mathieu Boespflug' in Google

Ryan R. Newton

This author has not been identified. Look up 'Ryan R. Newton' in Google

Simon Peyton Jones

Identified as Simon L. Peyton Jones

Arnaud Spiwack

This author has not been identified. Look up 'Arnaud Spiwack' in Google