linear type definition of linear type in the Free Online Encyclopedia.

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].

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found	Some of the different types of business flooring that Amtico offer include: oLinear oDesign Flooring oLimestone oWood Generally most businesses opt for a wooden or a linear type of flooring. What Are the Different Types of Amtico Flooring? by Navjot Kaur / Business community Once unleashed, linear types became so dominant that they seemed to push the new American republic forward in terms both of individual self-realization and of self-improvement as epitomized in the cult of the "self-made man" and the lyceum and Chautauqua movements. Circles and Lines: The Shape of Life in Early America by Martin, James Kirby / Journal of Social History While a linear type of messaging system may work for math, it would not support the teaching style needed for a philosophy class. Faculty Must Be Kept Up to Speed With Technology by Scott, Janet / Community College Week	linear regression linear regulator problem linear repeater linear scale linear scanning Linear Scripts Linear Space linear span linear speed method linear Stark effect linear stopping power linear strain Linear Substitution linear sweep linear system linear system analysis Linear Systems Linear Tactics linear tape linear taper linear time base linear topological space linear transducer Linear Transformation linear trend linear type linear unit linear variable-differential transformer linear velocity linear video linear video editing linear Web site linear-array camera linear-phase linear-quadratic-gaussian problem linear-sweep delay circuit linear-sweep generator linear-type heat detector Linearism Linearity linearity control Linearization linearized theory of fluid flow linearly dependent quantities linearly disjoint extensions linearly graded junction linearly independent quantities linearly ordered set lineation Lineberger, William C. Linebreeding	Linear Time Invariant Continuous Systems Linear Time Invariant Continuous time Linear Time Invariant Decorrelating Detector Linear Time Universal Coding Linear Time-Invariant Linear Time-Invariant System Linear Time-of-Flight Mass Spectrometer Linear Time-Varying Linear Time-Varying System linear tomography linear tomography linear tomography Linear Tool Changer Linear Topic Map Notation linear topological space linear transducer Linear transform Linear Transformation Linear Transformation Linear Transformation Linear Transformation Shift Register Linear transformations Linear Transformer Driver Linear Transmission Line Linear Transportation Problem Linear Trap Quadrupole linear trend Linear Tunable Phase Shifter linear type Linear Unbiased Minimum Variance Linear Unequal Error Protection linear unit linear unit Linear Valve Override Tool linear variable capacitance transducer Linear Variable Differential Transducer Linear variable differential transformer Linear Variable Displacement Transducer Linear Variable Etalon Linear Variable Filter Linear Variable Inductive Transformer Linear Variable Neutral Transmission Linear Variable Reluctance Transducer linear variable-differential transformer Linear Variational Basis Set Linear vector space Linear vector space linear velocity Linear Vestibulo-Occular Reflex linear video Linear video editing Linear Visual Analogue Scale Linear Voltage Differential Transformer Linear ware Linear Ware culture

Mentioned in

References in periodicals archive

Encyclopedia browser

Full browser

No references found

Some of the different types of business flooring that Amtico offer include: oLinear oDesign Flooring oLimestone oWood Generally most businesses opt for a wooden or a linear type of flooring.

What Are the Different Types of Amtico Flooring? by Navjot Kaur / Business community

Once unleashed, linear types became so dominant that they seemed to push the new American republic forward in terms both of individual self-realization and of self-improvement as epitomized in the cult of the "self-made man" and the lyceum and Chautauqua movements.