Parallelization in Calculational Forms.

Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin

Browse the full POPL paper archive.