Andr T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty
Browse the full HASKELL paper archive.