Descriptor-free Representation of Arrays with Dependent Types.

@article {477,
	title = {Descriptor-free Representation of Arrays with Dependent Types.},
	year = {2009},
	note = {In Sven-Bodo Scholz (ed.): Implementation and Application of Functional Languages, 20th International Symposium (IFL{\textquoteright}08), Hatfield, UK, 2008, Revised Selected Papers. Springer-Verlag, to appear.},
	author = {K.Trojahner and Grelck, C.}
}