@inproceedings{swierstra_arrays_2008,
  author       = {Wouter Swierstra and
                  Thorsten Altenkirch},
  editor       = {Peter Achten and
                  Pieter W. M. Koopman and
                  Marco T. Moraz{\'{a}}n},
  title        = {Dependent Types for Distributed Arrays},
  booktitle    = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
                  {TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
  series       = {Trends in Functional Programming},
  volume       = {9},
  pages        = {17--32},
  publisher    = {Intellect},
  year         = {2008}
}