@inproceedings{swierstra-altenkirch:dep-types-for-distr-arrays,
	Author = {Wouter Swierstra and Thorsten Altenkirch},
	Booktitle = {Trends in Functional Programming},
	Title = {Dependent Types for Distributed Arrays},
	Volume = {9},
	Year = {2008}}