The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 17, 2008
Filed:
Mar. 25, 2003
Erik Meijer, Mercer Island, WA (US);
Wolfram Schulte, Bellevue, WA (US);
Barend H. Venter, Issaquah, WA (US);
Chia-hsun Chen, Redmond, WA (US);
Christopher J. Lovett, Woodinville, WA (US);
Matthew J. Wararen, Redmond, WA (US);
Erik Meijer, Mercer Island, WA (US);
Wolfram Schulte, Bellevue, WA (US);
Barend H. Venter, Issaquah, WA (US);
Chia-Hsun Chen, Redmond, WA (US);
Christopher J. Lovett, Woodinville, WA (US);
Matthew J. Wararen, Redmond, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.