Strongly typed heterogeneous collections (2004)

by O Kiselyov, R Lämmel, K Schupke
Venue:ACM SIGPLAN Workshop on Haskell. ACM Press. See