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.} }