A Type-Based Approach to Parallelization (preliminary report).

Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu

Browse the full APLAS paper archive.