Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
Browse the full POPL paper archive.