linear type

L l

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of linear type words

noun Technical meaning of 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. 1

Just one definition for linear type

Information block about the term

Parts of speech for Linear type

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Linear type

See also

All definitions of linear type

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?