Paper_aplas2025
Our paper “Positive Sharing and Abstract Machines” (with Beniamino Accattoli and Claudio Sacerdoti Coen) has been accepted at APLAS 2025.
Our paper “Positive Sharing and Abstract Machines” (with Beniamino Accattoli and Claudio Sacerdoti Coen) has been accepted at APLAS 2025.