Parameterized Types for Dynamic Languages
What	An often-useful addition to many programming languages is a generic type or parameterized type system. I have added support for a parameterized type system to the programming language ``GOO''. Besides the standard functionality, I have allowed the programmer to express some unique relationships between parameterized types that are generally inexpressible in a standard type system, in order to make the system applicable to a wider variety of situations. I have also added a unification system to the method dispatch in GOO in order to allow the relationship between the types of multiple arguments in a method signature to be expressed.
Which	Master's Thesis
Why	Extensible parameterized types for dynamic object-oriented languages.
Who	James Knight and Jonathan Bachrach
How	GOO
When	2002
Where	MIT
And	GOO