Data types à la carte Export

@article{citeulike:4842697, abstract = {This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell's monolithic IO monad.}, author = {Swierstra, Wouter}, citeulike-article-id = {4842697}, citeulike-linkout-0 = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1899152}, citeulike-linkout-1 = {http://dx.doi.org/10.1017/S0956796808006758}, citeulike-linkout-2 = {http://www.cs.nott.ac.uk/~wss/Publications/DataTypesALaCarte.pdf}, doi = {10.1017/S0956796808006758}, journal = {Journal of Functional Programming}, keywords = {expression-problem, haskell, type-classes}, number = {04}, pages = {423--436}, posted-at = {2009-06-14 07:40:09}, priority = {0}, title = {Data types \`{a} la carte}, url = {http://dx.doi.org/10.1017/S0956796808006758}, volume = {18}, year = {2008} }

TY - JOUR ID - citeulike:4842697 L3 - citeulike-article-id:4842697 N2 - This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell's monolithic IO monad. IS - 04 JF - Journal of Functional Programming EP - 436 TI - Data types à la carte VL - 18 SP - 423 KW - expression-problem KW - haskell KW - type-classes AU - Swierstra, Wouter PY - 2008/// UR - http://dx.doi.org/10.1017/S0956796808006758 ER -