Data types à la carte
Top Cited Papers
- 18 March 2008
- journal article
- functional pearls
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 18 (4) , 423-436
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 7 references indexed in Scilit:
- Beauty in the beast2007
- Initial Algebra Semantics Is Enough!2007
- Open data types and open functions2006
- Category Theory2006
- Composing monads using coproducts2002
- Generic unification via two-level types and parameterized modules2001
- Functional programming with bananas, lenses, envelopes and barbed wire1991