2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 2 cited
Positive Sharing and Abstract Machines
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu
Wu's positive -calculus is a recent call-by-value -calculus with sharing coming from Miller and Wu's study of the proof-theoretical concept of focalization. Accattoli and Wu…
cs.LO2024★ 2 cited
Positive Focusing is Directly Useful
Beniamino Accattoli, Jui-Hsuan Wu
Recently, Miller and Wu introduced the positive -calculus, a call-by-value -calculus with sharing obtained by assigning proof terms to the positively polarized focused proofs…