Dependently Typed Array Programs Don't Go Wrong.

@article {505,
	title = {Dependently Typed Array Programs Don{\textquoteright}t Go Wrong.},
	year = {2007},
	note = {In: E. B. Johnsen, O. Owe, G. Schneider (eds.): 19th Nordic Workshop on Programming Theory (NWPT{\textquoteright}07) Oslo, Norway, October 10-12, 2007. Research Report 366, pp. 64-66 University of Oslo, Institute of Informatics Oslo, Norway, 2007 [ISBN 82-7368-324-9] [ISSN 0806-3036]},
	author = {Trojahner, K. and Grelck, C.}
}