{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","description":"An automated method in programming languages for determining the types of expressions from program structure and context.","display_name_alternatives":["type reconstruction","automatic type inference","inferred typing"],"ids":{"openalex":"https://openalex.org/keywords/type-inference","wikidata":"https://www.wikidata.org/wiki/Q586459"},"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8386,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8386,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"works_count":5427,"cited_by_count":67476,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/type-inference","updated_date":"2026-10-24T04:06:44","created_date":"2022-04-12T19:38:12"}