Jacques Cohen;Aline Weitzman
-;-
Towards an automatic complexity analysis for generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming