Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,806,928,313 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

linear type

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


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in periodicals archive
 
My point is, it is important to put the linear type traits in perspective to their actual effect.
By the numbers by Dickrell, Jim / Dairy Today
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
The linear type is formulated for use with just linear material models, the hyperelastic is able to use the Mooney-Rivlin and Ogden equations for rubber problems.
Use of computers in component design by Bednarik, Michael W. / Rubber World
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.