TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES

Patent №

US 7,873,592

Granted

2011-01-18

Filed 2007

Owner

MICROSOFT CORPORATION

AI components

2

kr · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

11737892

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.

AI classification

Knowledge representation1.00
AI hardware1.00
Natural language0.32
Planning0.09
Machine learning0.02
Evolutionary computation0.00
Speech0.00
Vision0.00

Ownership

MICROSOFT CORPORATION

assignment · 191870753

Assignors

MEIJER, HENRICUS JOHANNES MARIA, BIERMAN, GAVIN, TORGERSEN, MADS, HEJLSBERG, ANDERS, VAN VELZEN, DANNY, HALLAM, PETER A., LIPPERT, ROBERT ERIC, WARREN, MATTHEW J., VICK, PAUL A., SILVER, AMANDA

On an employer assignment, the assignors are typically the inventors.

© 2026 NYSGPT2525 LLC