Descriptor-free Representation of Arrays with Dependent Types.
Title | Descriptor-free Representation of Arrays with Dependent Types. |
Publication Type | Journal Article |
Year of Publication | 2009 |
Authors | K.Trojahner,, Grelck, C |
Bibtex:
@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.} }