Associated type synonyms Export

@inproceedings{citeulike:333544, abstract = {Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies.}, address = {New York, NY, USA}, author = {Chakravarty, Manuel M. T. and Keller, Gabriele and Peyton-Jones, Simon}, booktitle = {ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming}, citeulike-article-id = {333544}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1086365.1086397}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1086365.1086397}, doi = {10.1145/1086365.1086397}, isbn = {1-59593-064-7}, keywords = {functional-dependencies, functional-programming, generic-programming, haskell, polymorphism, type-classes, types}, location = {Tallinn, Estonia}, pages = {241--253}, posted-at = {2005-09-28 09:48:28}, priority = {0}, publisher = {ACM}, title = {Associated type synonyms}, url = {http://dx.doi.org/10.1145/1086365.1086397}, year = {2005} }

TY - CONF ID - citeulike:333544 L3 - citeulike-article-id:333544 N2 - Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies. CY - Tallinn, Estonia SN - 1-59593-064-7 AD - New York, NY, USA EP - 253 TI - Associated type synonyms PB - ACM T2 - ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming SP - 241 KW - functional-dependencies KW - functional-programming KW - generic-programming KW - haskell KW - polymorphism KW - type-classes KW - types AU - Chakravarty, Manuel AU - Keller, Gabriele AU - Peyton-Jones, Simon PY - 2005/// UR - http://dx.doi.org/10.1145/1086365.1086397 ER -