Decomposition diversity with symmetric data and codata

DSpace Repository

Decomposition diversity with symmetric data and codata

Author: Binder, David; Jabs, Julian; Skupin, Ingo; Ostermann, Klaus
Tübinger Autor(en):
Binder, David
Jabs, Julian
Skupin, Ingo
Ostermann, Klaus
Published in: Proceedings of the ACM on Programming Languages (POPL) (2019-12), Bd. 4, S. 1-28
Language: English
Full text: http://dx.doi.org/10.1145/3371098
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)