A lightweight implementation of generics and dynamics (Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (Haskell '02), 2002)

(untitled) - Cheney, J; Hinze, R