A language for generic programming (2011)

by J G Siek, A Lumsdaine
Venue:in the large. Science of Computer Programming