85 citations · 102 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Evaluating Linear Functions to Symmetric Monoidal Categories
Jean-Philippe Bernardy, Arnaud Spiwack
A number of domain specific languages, such as circuits or data-science workflows, are best expressed as diagrams of boxes connected by wires. Unfortunately, functional languages h…
cs.PL2021★ 6 cited
Linearly Qualified Types: Generic inference for capabilities and uniqueness
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy +2
A linear parameter must be consumed exactly once in the body of its function. When declaring resources such as file handles and manually managed memory as linear arguments, a linea…