QUBE - Array programming with dependent types

Trojahner, Kai2023-08-012023-08-012012https://epub.uni-luebeck.de/handle/zhb_hl/1259en4QUBE - Array programming with dependent typesthesis.doctoral1024294064720988144urn:nbn:de:gbv:841-20120228498