Kai Trojahner. QUBE - Array programming with dependent types. PhD thesis, University of Lübeck, 2012. [doi]
@phdthesis{dnb-616, title = {QUBE - Array programming with dependent types}, author = {Kai Trojahner}, year = {2012}, url = {http://d-nb.info/1024294064}, researchr = {https://researchr.org/publication/dnb-616}, cites = {0}, citedby = {0}, school = {University of Lübeck}, }