By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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



< Previous Terms Terms Containing linear type Next Terms >
linear logic
linear map
linear programming
linear space
linear transformation
functional database
linear type
line conditioning
line eater
line editor
line feed
line noise


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions