Strongly typed heterogeneous collections

@inproceedings{Kiselyov2004StronglyTH,
  title={Strongly typed heterogeneous collections},
  author={Oleg Kiselyov and Ralf L{\"a}mmel and Keean Schupke},
  booktitle={Haskell},
  year={2004}
}
A heterogeneous collection is a datatype that is capable of storing data of different types, while providing operations for look-up, update, iteration, and others. There are various kinds of heterogeneous collections, differing in representation, invariants, and access operations. We describe HLIST - a Haskell library for strongly typed heterogeneous… CONTINUE READING