Skip to search formSkip to main contentSkip to account menu

Type inference

Known as: Type reconstruction, Inferred typing, Typability 
Type inference refers to the automatic deduction of the data type of an expression in a programming language. If some, but not all, type annotations… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardCMUCLCategorial grammarChapel

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Improvement of the Elderly Quality of Life and Care through Smart Emotion Regulation
This paper introduces a project named “Improvement of the Elderly Quality of Life and Care through Smart Emotion Regulation”. The… 
Highly Cited
2013
Highly Cited
2013
Impact of data quality and surface-to-column representativeness on the PM 2.5 / satellite AOD relationship for the contiguous United States
Abstract. Satellite-derived aerosol optical depth (AOD) observations have been used to estimate particulate matter smaller than 2… 
Highly Cited
2005
Highly Cited
2005
Congruence of a phylogeny of Cordiaceae (Boraginales) inferred from ITS1 sequence data with morphology, ecology, and biogeography.
The phylogenetic relationships of Cordiaceae were investigated using ITS1 sequences from 50 ingroup taxa and three outgroup taxa… 
Highly Cited
2002
Highly Cited
2002
Supporting goal based interaction with dynamic intelligent environments
Modern technical infrastructures and appliances provide a multitude of opportunities for simplifying and streamlining the… 
Highly Cited
2000
Highly Cited
2000
Phylogeny of Bicyclus ( Lepidoptera : Nymphalidae ) Inferred
cies, most of which live in continental African forests, Despite the fact that Bicyclus anynana has become an important model… 
1997
1997
Directional Types and the Annotation Method
Highly Cited
1997
Highly Cited
1997
Efficient Representation and Validation of Logical Proofs
Abstract : This report describes a framework for representing and validating formal proofs in various axiomatic systems. The… 
Highly Cited
1994
Highly Cited
1994
Composing Concurrent Objects
Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of… 
1992
1992
Polymorphic Typing by Abstract Interpretation
This paper presents a generic method which uses the framework of Abstract Interpretation as defined by the Cousots [6] to build… 
Highly Cited
1966
Highly Cited
1966
MINIMUM PRESSURE ENVELOPES FOR MODIFIED NACA-66 SECTIONS WITH NACA A=0.8 CAMBER AND BUSHIPS TYPE 1 AND TYPE 2 SECTIONS
Abstract : Minimum pressure envelopes, computed for steady two-dimensional flow, with an empirical correction for viscosity, are… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)