Bernd Brael, Michael Hanus, Sebastian Fischer, Frank Huch, Germn Vidal
Browse the full ICFP paper archive.