Hdc: A higher-order language for divide-and-conquer (2000)

by Christoph A Herrmann, Christian Lengauer, Communicated Yves Robert