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

DSpace Repository

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

Author: Cai, Yufei; Giarrusso, Paolo G.; Ostermann, Klaus
Tübinger Autor(en):
Cai, Yufei
Giarrusso, Paolo G.
Ostermann, Klaus
Published in: Acm Sigplan Notices (2016), Bd. 51, H. 1, S. 30-43
Verlagsangabe: Assoc Computing Machinery
Language: English
Full text: http://dx.doi.org/10.1145/2837614.2837660
ISSN: 1558-1160
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
ConferenceObject
Show full item record

This item appears in the following Collection(s)