I've put the set of slides Benjamin and I had for the talk on typing set of overloaded functions for the last ACCU conference: 'What is the type of std::toupper?" http://www-sop.inria.fr/galaad/personnel/gdr/C++/ -- Gaby