Modular generic programming with extensible superclasses - Sulzmann, M. (2013)
WGP'06 - Proceedings of the ACM SIGPLAN 2006 Workshop on Generic Programming