Decomposition diversity with symmetric data and codata

dc.contributor.author	Binder, David
dc.contributor.author	Jabs, Julian
dc.contributor.author	Skupin, Ingo
dc.contributor.author	Ostermann, Klaus
dc.date.accessioned	2020-08-25T14:30:30Z
dc.date.available	2020-08-25T14:30:30Z
dc.date.issued	2019-12
dc.identifier.uri	http://hdl.handle.net/10900/105721
dc.language.iso	en	de_DE
dc.relation.uri	http://dx.doi.org/10.1145/3371098	de_DE
dc.subject.ddc	004	de_DE
dc.title	Decomposition diversity with symmetric data and codata	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	1-28	de_DE
utue.personen.roh	Binder, David
utue.personen.roh	Jabs, Julian
utue.personen.roh	Skupin, Ingo
utue.personen.roh	Ostermann, Klaus
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages (POPL)	de_DE
dcterms.isPartOf.ZS-Volume	4	de_DE