Ezgi iek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
Browse the full POPL paper archive.