%0 Journal Article %1 citeulike:4842697 %A Swierstra, Wouter %C New York, NY, USA %D 2008 %I Cambridge University Press %J J. Funct. Program. %K haskell %N 4 %P 423--436 %R 10.1017/s0956796808006758 %T Data Types à La Carte %U http://www.cs.nott.ac.uk/\~wss/Publications/DataTypesALaCarte.pdf %V 18 %X 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.

@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.}}, added-at = {2019-06-18T20:47:03.000+0200}, address = {New York, NY, USA}, author = {Swierstra, Wouter}, biburl = {https://www.bibsonomy.org/bibtex/29ab6a929f34ca94e3602856bb1e2e6ab/alexv}, citeulike-article-id = {4842697}, citeulike-linkout-0 = {http://www.cs.nott.ac.uk/\~{}wss/Publications/DataTypesALaCarte.pdf}, citeulike-linkout-1 = {http://portal.acm.org/citation.cfm?id=1394795}, citeulike-linkout-2 = {http://journals.cambridge.org/action/displayAbstract?fromPage=online\&aid=1899152}, citeulike-linkout-3 = {http://dx.doi.org/10.1017/s0956796808006758}, doi = {10.1017/s0956796808006758}, interhash = {744aada68b808a7e70c123c1eaa9bd90}, intrahash = {9ab6a929f34ca94e3602856bb1e2e6ab}, issn = {0956-7968}, journal = {J. Funct. Program.}, keywords = {haskell}, month = jul, number = 4, pages = {423--436}, posted-at = {2016-08-19 01:08:57}, priority = {2}, publisher = {Cambridge University Press}, timestamp = {2019-06-18T20:47:03.000+0200}, title = {Data Types \`{a} La Carte}, url = {http://www.cs.nott.ac.uk/\~{}wss/Publications/DataTypesALaCarte.pdf}, volume = 18, year = 2008 }