@inproceedings{alti:tfp08,
	Author = {Wouter Swierstra and Thorsten Altenkirch},
	Booktitle = {Trends in Functional Programming},
	Title = {Dependent Types for Distributed Arrays},
	Volume = {9},
	Year = {2008}}