Back to Results
First PageMeta Content



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

Document Date: 2007-05-22 07:13:48


Open Document

File Size: 69,93 KB

Share Result on Facebook
UPDATE