System F-omega with Equirecursive Types for Datatype-Generic Programming

dc.contributor.author	Cai, Yufei
dc.contributor.author	Giarrusso, Paolo G.
dc.contributor.author	Ostermann, Klaus
dc.date.accessioned	2017-04-27T17:23:24Z
dc.date.available	2017-04-27T17:23:24Z
dc.date.issued	2016
dc.identifier.issn	1558-1160
dc.identifier.uri	http://hdl.handle.net/10900/76030
dc.language.iso	en	de_DE
dc.publisher	Assoc Computing Machinery	de_DE
dc.relation.uri	http://dx.doi.org/10.1145/2837614.2837660
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	System F-omega with Equirecursive Types for Datatype-Generic Programming	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.quellen.id	20160915142648_02155
utue.publikation.seiten	30-43	de_DE
utue.personen.roh	Cai, Yufei
utue.personen.roh	Giarrusso, Paolo G.
utue.personen.roh	Ostermann, Klaus
dcterms.isPartOf.ZSTitelID	Acm Sigplan Notices	de_DE
dcterms.isPartOf.ZS-Issue	1	de_DE
dcterms.isPartOf.ZS-Volume	51	de_DE
utue.fakultaet	Universität Tübingen (ohne Fakultätsangabe)