data type

(redirected from Polymorphic typing)
Also found in: Medical.

data type

1. In programming, a classification identifying one of various types of data, as floating-point, integer, or Boolean, stating the possible values for that type, the operations that can be done on that type, and the way the values of that type are stored.

2. In databases or spreadsheets, a classification identifying one of various kinds of data, as a name, date, or dollar amount, found in a specific data field.

American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

Mentioned in ?

Boolean

References in periodicals archive ?

Some of those false positives are caused by the bidirectional flow of information inherent in our unification-based analysis; others correspond to insufficiently polymorphic typing of recursive definitions.

Type-Based Analysis of Uncaught Exceptions

We can also use polymorphic typing to treat noninterference more generally.

From Algol to Polymorphic Linear Lambda-Calculus

English version: Polymorphic Typing of an Algorithmic Language, INRIA Research Report no.