Treffer: Generic programming for indexed datatypes

Title:
Generic programming for indexed datatypes
Authors:
Magalhães, José Pedro, Jeuring, Johan
Source:
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming. :37-46
Availability:
http://dl.acm.org/doi/10.1145/2036918.2036924
Database:
ACM Full-Text Collection