Strongly typed heterogeneous collections (2004)

by O Kiselyov, R Lämmel, K Schupke
Venue:In Proc. 2004 workshop on Haskell