85 citations · 102 across the 10 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Arbitrary Functors as Modalities in a Linear Calculus
Jean-Philippe Bernardy, Andreas Abel
We study modalities in the linear lambda calculus, by interpreting them as endofunctors in monoidal closed categories. We support functors that do not distribute over products, inc…
cs.PL2026
Linear Constraints
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy +2
Linear constraints are the linear counterpart of Haskell's class constraints. Linearly typed parameters allow the programmer to control resources such as file handles and manually…