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… 
1994
1994
Recent palaeolimnology of three shallow Danish lakes
Recent eutrophication histories of three shallow lakes (mean depths <3 m) were studied using palaeolimnological methods. Freeze… 
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… 
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… 
Highly Cited
1991
Highly Cited
1991
Surface structure determination of the (2 × 1)OCu(110) reconstruction by low-energy ion scattering
1989
1989
Inductive inference with bounded number of mind changes
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)