28 citations · 36 across the 8 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021★ 1 cited
Latent Effects for Reusable Language Components: Extended Version
Birthe van den Berg, Tom Schrijvers, Casper Bach-Poulsen +1
The development of programming languages can be quite complicated and costly. Hence, much effort has been devoted to the modular definition of language features that can be reused…
cs.PL2021
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…