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:
Jan. 18, 2011

Filed:

Apr. 20, 2007
Applicants:

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

Gavin Bierman, Cambrige, GB;

Mads Torgersen, Issaquah, WA (US);

Anders Hejlsberg, Seattle, WA (US);

Danny Van Velzen, Redmond, WA (US);

Peter A. Hallam, Seattle, WA (US);

Robert Eric Lippert, Seattle, WA (US);

Matthew J. Warren, Redmond, WA (US);

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

Amanda Silver, Seattle, WA (US);

Inventors:

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

Gavin Bierman, Cambrige, GB;

Mads Torgersen, Issaquah, WA (US);

Anders Hejlsberg, Seattle, WA (US);

Danny Van Velzen, Redmond, WA (US);

Peter A. Hallam, Seattle, WA (US);

Robert Eric Lippert, Seattle, WA (US);

Matthew J. Warren, Redmond, WA (US);

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

Amanda Silver, Seattle, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01); G06N 7/02 (2006.01); G06N 7/06 (2006.01);
U.S. Cl.
CPC ...
Abstract

Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.


Find Patent Forward Citations

Loading…