Strongly typed heterogeneous collections

  title={Strongly typed heterogeneous collections},
  author={Oleg Kiselyov and Ralf L{\"a}mmel and Keean Schupke},
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