Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
Browse the full POPL paper archive.