2 papers
cs.LO2025
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 W…
cs.LO2024
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 proo…