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

Autor(en):

Cai, Yufei; Giarrusso, Paolo G.; Ostermann, Klaus

Tübinger Autor(en):

Erschienen in:

Acm Sigplan Notices (2016), Bd. 51, H. 1, S. 30-43

Verlagsangabe:

Assoc Computing Machinery

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1558-1160

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: