Descriptor-free Representation of Arrays with Dependent Types.
| Title | Descriptor-free Representation of Arrays with Dependent Types. |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Trojahner, 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.}
}