Towards a categorical foundation for generic programming
Generic Haskell is an extension of Haskell that supports datatype-generic programming. The central idea of Generic Haskell is to interpret a type by a function, the so-called instance of a generic function at that type. Since types in Haskell include parametric types such as `list of', Generic...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
ACM
2011
|