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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

We introduce a novel amortised resource analysis based on a potential-based type system. This type system gives rise to…

2016

The derived datatype mechanism is a powerful, integral feature of the Message-Passing Interface (MPI) for communicating…

2015

Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…

2012

This paper presents an approach for the determination of the optimal parameters and placement of UPFC as the major concern is to…

2009

This paper provides a report on a pilot study that was conducted to inform a DBA research project. It will investigate employee…

2006

Verifying the accuracy of a passive measurementsbased inference technique under all possible network scenarios is a difficult…

2005

Summary1. By use of relatively high concentrations of the monofunctional alkylating agent ethyl methane sulphonate it was…

2004

This study focuses on the feasibility of floodplain sediments and fluvial sediments in paleomeanders and ox-bows of two lowland…

2003

Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program…

1991

Concurrent Smalltalk is the primary language used for programming the J- Machine, a MIMD message-passing computer containing…