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.
2016
2016
Polynomial-Time Construction of Optimal MPI Derived Datatype Trees
The derived datatype mechanism is a powerful, integral feature of the Message-Passing Interface (MPI) for communicating… 
2015
2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi… 
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… 
2009
2009
Sequential Labeling with Latent Variables: An Exact Inference Algorithm and its Efficient Approximation
Latent conditional models have become popular recently in both natural language processing and vision processing communities… 
2008
2008
Pedigree Types
Pedigree Types are an intuitive ownership type system requiring minimal programmer annotations. Reusing the vocabulary of human… 
2005
2005
Typed abstraction of complex network compositions
The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the… 
2005
2005
Chromatidenaberrationen nach Einwirkung von Äthylmethansulfonat (Methansulfonsäureäthylester) auf Primärwurzeln vonVicia faba L
Summary1. By use of relatively high concentrations of the monofunctional alkylating agent ethyl methane sulphonate it was… 
Highly Cited
2005
Highly Cited
2005
Enhanced Answer Type Inference from Questions using Sequential Models
Question classification is an important step in factual question answering (QA) and other dialog systems. Several attempts have… 
2003
2003
A Typed Calculus of Aspect-oriented Programs?
Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program… 
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… 
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)