A language for generic programming in the large. - Siek, Jeremy G.; Lumsdaine, Andrew (Sci. Comput. Program., 2011)