linear type

linear type

1. <theory, programming> 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].
References in periodicals archive ?
Tenders are invited for supply installation and commissioning of linear type filling line for filling food grades lubricating oil with associated equipments for filling 250 ml to 6 l containers for iocl taloja plant
On the basis of presented results, in the case of planned high-intensity extraction, especially in tectonically disturbed rock mass, authors suggest new attitude to predictions of linear type discontinuous deformation by supplementing conventional forecast with two addition documents:
The present study was designed to get estimates of heritability for linear type traits of Sahiwal cattle.
The MP Scale is offered in two types: a linear type for linear position detection, and a rotary type for angle detection.
There are two types of encoders: a linear type that responds to motion along a path and a rotary type that responds to rotational motion.
Linear type traits describe biological extremes for a range of visual characteristics of an animal.
In [13], it is proved a result that examines the connected simple graphs whose edge ideals are of linear type.
Due to the rarity of the linear type of porokeratoses and its remarkable response with isotretinoin, we are reporting this case.
While linear type loads produce currents proportional to the voltage, the load current is not proportional to the instantaneous voltage in nonlinear loads such as personal computers, printers, UPS, adjustable speed drives, electronic lighting ballasts, ferromagnetic type devices, DC motor drives and arcing equipment.
The linear type is characterised by band like or "flagellate" cutaneous hyperpigmentation in areas of trauma occurring predominantly on the trunk and proximal extremities and has been reported to occur in up to 66% of patients.
The observations are best fitted by a linear type light curve, with the comet becoming brightest some six weeks after perihelion.
2, due to the linear type EFC, any incident EM wave with the mode of [k.

Full browser ?