Data types à la carte
- 18 March 2008
- journal article
- functional pearls
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 18 (04), 423-436
- https://doi.org/10.1017/s0956796808006758
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.Keywords
This publication has 1 reference indexed in Scilit:
- Category TheoryPublished by Oxford University Press (OUP) ,2006