You are here

Home › Research › Publications ›

Descriptor-free Representation of Arrays with Dependent Types.

TitleDescriptor-free Representation of Arrays with Dependent Types.
Publication TypeJournal Article
Year of Publication2008
AuthorsTrojahner, K, Grelck, C
Bibtex: 
@article {486,
	title = {Descriptor-free Representation of Arrays with Dependent Types.},
	year = {2008},
	note = {In Sven-Bodo Scholz (ed.): 20th International Symposium on Implementation and Application of Functional Languages (IFL{\textquoteright}08), Hatfield, UK, 2008. University of Hertfordshire, Department of Computer Science, 2008.},
	author = {Trojahner, K. and Grelck, C.}
}