@inproceedings{RR96, author = {Rauber, T. and R\"{u}nger, G.}, title = {{A Type System for the Derivation of Data Redistributions}}, booktitle = {Proceedings of the 9th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS'96)}, pages = {150--155}, month = {September}, year = {1996}, }