Martn Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lvy
Browse the full POPL paper archive.