Paper_aplas2025
Our paper “Positive Sharing and Abstract Machines” (with Beniamino Accattoli and Claudio Sacerdoti Coen) has won the Best Paper Award at APLAS 2025. PDF.
Our paper “Positive Sharing and Abstract Machines” (with Beniamino Accattoli and Claudio Sacerdoti Coen) has won the Best Paper Award at APLAS 2025. PDF.