HDC: A Higher-Order Language for Divide-and-Conquer (2000)

Cached

Download Links

by Christoph A. Herrmann , Christian Lengauer , Communicated Yves Robert
Citations:14 - 2 self