| Summary: | Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. === Includes bibliographical references (p. 65-66). === 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. === by James Knight. === M.Eng.
|
|---|
