Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
Browse the full POPL paper archive.