Derivable type classes Export

@misc{citeulike:1529183, abstract = {Generic programming allows you to write a function once, and use it many times at dierent types. A lot of good foundational work on generic programming has been done. The goal of this paper is to propose a practical way of supporting generic programming within the Haskell language, while going \with the grain\" of the language. On the way, we came across a separate issue, concerning type-class overloading where higher kinds are involved. We propose a simple type-class system extension to allow ...}, author = {Hinze, R. and Jones, S.}, citeulike-article-id = {1529183}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8507}, keywords = {generic-programming, haskell, type-classes}, posted-at = {2007-08-02 11:36:58}, priority = {2}, title = {Derivable type classes}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8507}, year = {2000} }

TY - GEN ID - citeulike:1529183 L3 - citeulike-article-id:1529183 N2 - Generic programming allows you to write a function once, and use it many times at dierent types. A lot of good foundational work on generic programming has been done. The goal of this paper is to propose a practical way of supporting generic programming within the Haskell language, while going \with the grain" of the language. On the way, we came across a separate issue, concerning type-class overloading where higher kinds are involved. We propose a simple type-class system extension to allow ... TI - Derivable type classes KW - generic-programming KW - haskell KW - type-classes AU - Hinze, R AU - Jones, S PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8507 ER -