A.: Extensible and modular generics for the masses (2006)

by B C d S Oliveira, R Hinze, Löh
Venue:In: Trends in Functional Programming