A Formal Comparison of Approaches to Datatype−Generic Programming (Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012, 2012)

(untitled) - aes, J; Löh, A