Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
Browse the full ISoLA paper archive.