Extensible and modular generics for the masses (2006)

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