Gordon Stewart, Lennart Beringer, Santiago Cullar, Andrew W. Appel
Browse the full POPL paper archive.