Compilation of a specialized functional language for massively parallel computers