Showing cs.PLShow all
2 papers · 1 filter
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…
cs.PL2025
Domain-Specific Tensor Languages
Jean-Philippe Bernardy, Patrik Jansson
The tensor notation used in several areas of mathematics is a useful one, but it is not widely available to the functional programming community. In a practical sense, the (embedde…