Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
Browse the full POPL paper archive.