A Formal Comparison of Approaches to Datatype−Generic Programming
José Pedro Magalhães and Andres Löh
Book Title
Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012
Editor
Chapman‚ James and Levy‚ Paul Blain
Pages
50–67
Publisher
Open Publishing Association
Series
Electronic Proceedings in Theoretical Computer Science
Volume
76
Year
2012