Wouter Swierstra, Thorsten Altenkirch. Dependent Types for Distributed Arrays. In Peter Achten, Pieter W. M. Koopman, Marco T. Morazán, editors, Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008. Volume 9 of Trends in Functional Programming, pages 17-32, Intellect, 2008.
Abstract is missing.