Dependently Typed Array Programs Don't Go Wrong.
| Title | Dependently Typed Array Programs Don't Go Wrong. |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Trojahner, K, Grelck, C |
Bibtex:
@article {505,
title = {Dependently Typed Array Programs Don{\textquoteright}t Go Wrong.},
year = {2007},
note = {In: E. B. Johnsen, O. Owe, G. Schneider (eds.): 19th Nordic Workshop on Programming Theory (NWPT{\textquoteright}07) Oslo, Norway, October 10-12, 2007. Research Report 366, pp. 64-66 University of Oslo, Institute of Informatics Oslo, Norway, 2007 [ISBN 82-7368-324-9] [ISSN 0806-3036]},
author = {Trojahner, K. and Grelck, C.}
}