QUBE - Array programming with dependent types

Kurzanzeige
dc.affiliation.instituteInstitut für Softwaretechnik und Programmiersprachende
dc.contributor.authorTrojahner, Kai
dc.contributor.refereeTantau, Till
dc.contributor.refereeGrelck, Clemens
dc.date.accepted2011
dc.date.accessioned2023-08-01T06:47:52Z
dc.date.available2023-08-01T06:47:52Z
dc.date.issued2012
dc.identifier.dnbppn1024294064
dc.identifier.gbvppn720988144
dc.identifier.urihttps://epub.uni-luebeck.de/handle/zhb_hl/1259
dc.identifier.urnurn:nbn:de:gbv:841-20120228498
dc.languageeng
dc.language.isoen
dc.language.rfc3066en-US
dc.publisher.departmentSektion Informatik/Technikde
dc.publisher.placeLübeckde
dc.subject.ddc4
dc.titleQUBE - Array programming with dependent typesen
dc.typethesis.doctoral

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
ediss1099.pdf
Größe:
701.09 KB
Format:
Adobe Portable Document Format
Herunterladen

Sektion

Informatik/Technik

KONTAKT

Universität zu Lübeck
Zentrale Hochschulbibliothek - Haus 60
Ratzeburger Allee 160
23562 Lübeck
Tel. +49 451 3101 2201
Fax +49 451 3101 2204


IMPRESSUM

DATENSCHUTZ

BARIEREFREIHEIT

Feedback schicken

Cookie-Einstellungen