Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Browse the full HASKELL paper archive.