Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Browse the full POPL paper archive.