Word:

linear type

linear type - 1. An attribute of values which are used exactly once: they are neither duplicated nor destroyed. Such values require no garbage collection, and can safely be updated in place, even if they form part of a data structure.

Linear types are related to the linear logic of J.-Y Girard. They extend Schmidt's notion of single threading, provide an alternative to Hudak and Bloss' update analysis, and offer a practical complement to Lafont and Holmstrรถm's elegant linear languages.

['Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading, Henry Baker. ftp://ftp.netcom.com/pub/hb/hbaker/Use1Var.html].

["Linear types can change the world!", Philip Wadler, "Programming Concepts and Methods", April 1990, eds. M. Broy, C. Jones, pub. North-Holland, IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel].
Browse
Linear differential equation
linear equation
linear function
Linear Graph Notation
linear leaf
linear logic
linear map
linear measure
Linear numbers
linear operator
linear perspective
Linear problem
linear programming
linear regression
linear space
linear transformation
-- linear type --
linear unit
Linear-shaped
Linearensate
linearise
linearity
linearize
Linearly
Lineary
Lineate
Lineation
Lineature
linebacker
linebacker blitzing
linecut
lined
Lined gold
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy