Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
Browse the full POPL paper archive.