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.
2012
2012
Damping of power system oscillations using unified power flow controller
This paper presents an approach for the determination of the optimal parameters and placement of UPFC as the major concern is to… 
2004
2004
Effect of powdered activated carbon type on the performance of an adsorption-microfiltration submerged hollow fiber membrane hybrid system
This study highlights the importance of the type of powdered activated carbon (PAC) on the performance of an adsorption-MF hollow… 
2003
2003
SULPHIDE REACTIVITY WITHIN CEMENTED PASTE BACKFILL: OXYGEN CONSUMPTION TEST RESULTS
Oxygen consumption tests were performed on 5 manufactured laboratory tailings containing approximately 4, 12, 22, 34 and 74% wt… 
1997
1997
Directional Types and the Annotation Method
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
Highly Cited
1991
Highly Cited
1991
Surface structure determination of the (2 × 1)OCu(110) reconstruction by low-energy ion scattering
1991
1991
Concurrent Smalltalk on the Message-Driven Processor
Concurrent Smalltalk is the primary language used for programming the J- Machine, a MIMD message-passing computer containing… 
1989
1989
Inductive inference with bounded number of mind changes
1989
1989
On the Logic of Unification
1988
1988
The relationship between sedimentary diatom assemblages and lakewater pH in 35 Quebec lakes, Canada
Surface sediment diatoms from 35 soft-water lakes in southern Quebec were studied to examine the relationship with lakewater pH… 
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)