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 |