Strongly typed heterogeneous collections (2004)

by O Kiselyov, R Lämmel, K Schupke
Venue:In 8th ACM SIGPLAN Workshop on Haskell