James Cheney, Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M. T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002. pages 90-104, ACM, 2002. [doi]
Abstract is missing.