Next-generation generic programming and its application to sparse matrix computations