Description: Many expressive programming languages have a facility to generalise code for reuse. C++ has its templates, Ada has its generics and functional programming languages have polymorphism. Java lacks any such feature and the language designers at Sun are thinking of adding this to the language. We've heard a talk from Guy Steele, one of the Java language designers entitled "Should Java have Parameterized Types?" given at a workshop on language design. What should they add? An investigation of the different types of features including both how the code you would write looks, implementation issues and possible interactions with the rest of the language needs to be undertaken.