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