Tyng-Ruey Chuang. Type-based Primitives for Distributed Data Structures: A Functional Approach. In 32nd International Conference on Parallel Processing Workshops (ICPP 2003 Workshops), 6-9 October 2003, Kaohsiung, Taiwan. pages 131-142, IEEE Computer Society, 2003. [doi]
Abstract is missing.