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]

Abstract

Abstract is missing.