linear type

1. An attribute of values which are usedexactly once: they are neither duplicated nor destroyed. Suchvalues require no garbage collection, and can safely beupdated 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 analternative to Hudak and Bloss' update analysis, and offer apractical 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 onProgramming Concepts and Methods, Sea of Galilee, Israel].

单词	linear type
释义	linear type linear type 1. An attribute of values which are usedexactly once: they are neither duplicated nor destroyed. Suchvalues require no garbage collection, and can safely beupdated 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 analternative to Hudak and Bloss' update analysis, and offer apractical 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 onProgramming Concepts and Methods, Sea of Galilee, Israel].
随便看	standard illuminants standard implementation for multi-platform link evaluation standard indexing system standard index notation standard indirect allowance factor standard indirect allowed manhours standard individual trade control license standard inductor standard industrial classification standard industrial classification code standard industrial classification codes standard industrial classification coding standard industrial classifications standard industrial classification system standard industrial code standard industry codes standard information appliance module standard information retrieval capability for users standard information system standard information systems center standard information systems manager standard infrared radiation model standard initial provisioning model standard inner product standard input