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.

Date of Patent:
May. 11, 2010

Filed:

Aug. 30, 2005
Applicants:

Henricus Johannes Maria Meijer, Mercer Island, WA (US);

Amanda Silver, Seattle, WA (US);

Brian C. Beckman, Newcastle, WA (US);

Paul A. Vick, Seattle, WA (US);

Avner Y. Aharoni, Seattle, WA (US);

David N. Schach, Redmond, WA (US);

Peter F. Drayton, Redmond, WA (US);

Inventors:

Henricus Johannes Maria Meijer, Mercer Island, WA (US);

Amanda Silver, Seattle, WA (US);

Brian C. Beckman, Newcastle, WA (US);

Paul A. Vick, Seattle, WA (US);

Avner Y. Aharoni, Seattle, WA (US);

David N. Schach, Redmond, WA (US);

Peter F. Drayton, Redmond, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/45 (2006.01);
U.S. Cl.
CPC ...
Abstract

Systems and methods that enhance a programming language by introducing null unification on a type level in addition to a value level, for static types of both reference and value types T. An operator that adds a level of nullability (and removes such nullability) is introduced without a mention of the actual type, to steer overloading in a precise manner.


Find Patent Forward Citations

Loading…