BibTeX
@MISC{Swierstra_datatypes,
author = {Wouter Swierstra},
title = {Data types à la carte},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 1
Citations
| 274 | Functional programming with bananas, lenses, envelopes and barbed wire - Meijer, Fokkinga, et al. - 1991 |
| 213 | Monad transformers and modular interpreters - Liang, Hudak, et al. - 1995 |
| 21 | Composing monads using coproducts - Lüth, Ghani - 2002 |
| 20 | Category Theory - Awodey - 2010 |
| 12 | Foundations for structured programming with GADTs - Johann, Ghani - 2008 |
| 12 | Generic unification via two-level types and parameterized modules - Sheard |
| 12 | Beauty in the beast: A functional semantics of the awkward squad - Swierstra, Altenkirch - 2007 |
| 2 | Initial algebra semantics is enough! Typed Lambda Calculi and Applications - Johann, Ghani - 2007 |
| 1 | Open data types and open functions. Principles and Practice of Declarative Programming - Löh, Hinze - 2006 |
