6 citations · 6 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Generic Deriving of Generic Traversals
Csongor Kiss, Matthew Pickering, Nicolas Wu
Functional programmers have an established tradition of using traversals as a design pattern to work with recursive data structures. The technique is so prolific that a whole host…