Report - A Nominal Theory of Objects with Dependent Typeslampodersky/papers/ecoop03.pdf · We now present a core language for objects and classes. Compared to the stan-dard theory of objects

Please pass captcha verification before submit form