3. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed

First Page		Document Content
Date: 2007-05-22 07:13:48		3. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed Add to Reading List Source URL: www.nada.kth.se Download Document from Source Website File Size: 69,93 KB Share Document on Facebook