Dependency-style Generic Haskell (2003)

by A Löh, D Clarke, J Jeuring
Venue:Proceedings of the International Conference on Functional Programming, ICFP’03