1.2k citations · 3.5k across the 44 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022★ 1 cited
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini +2
In type-and-coeffect systems, contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bott…
cs.PL2022
Enhancing expressivity of checked corecursive streams (extended version)
Davide Ancona, Pietro Barbieri, Elena Zucca
We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic cal…