Evaluating Linear Functions to Symmetric Monoidal Categories

no code implementations • 10 Mar 2021 • Jean-Philippe Bernardy, Arnaud Spiwack

The Arrow abstraction is an approximation, but we argue that it does not capture the right properties.

Programming Languages

Linearly Qualified Types: Generic inference for capabilities and uniqueness

no code implementations • 10 Mar 2021 • Jean-Philippe Bernardy, Richard Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu

A linear parameter must be consumed exactly once in the body of its function.

Programming Languages