Dependently Typed Array Programs Don't Go Wrong
| Title | Dependently Typed Array Programs Don't Go Wrong |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Trojahner, K, Grelck, C |
Bibtex:
@article {481,
title = {Dependently Typed Array Programs Don{\textquoteright}t Go Wrong},
year = {2009},
note = {Journal of Logic and Algebra in Programming, Volume 78, Issue 9, August-September 2009, pp. 643-664. The 19th Nordic Workshop on Programming Theory (NWPT 2009)},
author = {Trojahner, K. and Grelck, C.}
}