sentences:  Their work together includes coining the term "generic programming" in , and led to the creation of the C++ Standard Template Library (STL).In , he developed the sorting algorithm called introsort (also known as introspective sort), and the related selection algorithm called introselect, to provide algorithms that are both efficient and have optimal worst-case performance, for use in the STL.In 2007 he retired from Rensselaer.