Arity-generic datatype-generic programming

Stephanie Weirich, Chris Casinghino. Arity-generic datatype-generic programming. In Cormac Flanagan, Jean-Christophe FilliĆ¢tre, editors, Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. pages 15-26, ACM, 2010. [doi]

Authors

Stephanie Weirich

This author has not been identified. It may be one of the following persons: Look up 'Stephanie Weirich' in Google

Chris Casinghino

This author has not been identified. Look up 'Chris Casinghino' in Google