Skip to main content

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