Evaluating linear functions to symmetric monoidal categories

Jean-Philippe Bernardy, Arnaud Spiwack. Evaluating linear functions to symmetric monoidal categories. In Jurriaan Hage, editor, Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021. pages 14-26, ACM, 2021. [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

Arnaud Spiwack

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