Result: Arity-generic datatype-generic programming

Title:
Arity-generic datatype-generic programming
Authors:
Weirich, Stephanie, Casinghino, Chris
Source:
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification. :15-26
Availability:
http://dl.acm.org/doi/10.1145/1707790.1707799
Database:
ACM Full-Text Collection