Dualizing Generalized Algebraic Data Types by Matrix Transposition

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Ostermann, Klaus
dc.contributor.author Jabs, Julian
dc.date.accessioned 2020-02-06T15:31:59Z
dc.date.available 2020-02-06T15:31:59Z
dc.date.issued 2018-04
dc.identifier.isbn 978-3-319-89883-4
dc.identifier.isbn 978-3-319-89884-1
dc.identifier.uri http://hdl.handle.net/10900/97710
dc.language.iso en de_DE
dc.publisher Cham: Springer de_DE
dc.relation.ispartofseries Lecture Notes in Computer Science;10801
dc.relation.uri http://dx.doi.org/10.1007/978-3-319-89884-1_3 de_DE
dc.subject.ddc 004 de_DE
dc.title Dualizing Generalized Algebraic Data Types by Matrix Transposition de_DE
dc.type BookPart de_DE
dc.type ConferenceObject de_DE
utue.publikation.seiten 60-85 de_DE
utue.personen.roh Ostermann, Klaus
utue.personen.roh Jabs, Julian
utue.publikation.buchdesbeitrags Ahmed A. (eds) Programming Languages and Systems. ESOP 2018 de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige