Dependently Typed Array Programs Don't Go Wrong

@article {481,
	title = {Dependently Typed Array Programs Don{\textquoteright}t Go Wrong},
	year = {2009},
	note = {Journal of Logic and Algebra in Programming, Volume 78, Issue 9, August-September 2009, pp. 643-664. The 19th Nordic Workshop on Programming Theory (NWPT 2009)},
	author = {Trojahner, K. and Grelck, C.}
}