ENCYCLOPEDIA 4U .com

Lists of articles by category | List of historical anniversaries | List of glossaries | List of themed timelines | List of Science Articles | Biographies | Countries | The Big List | Contact Us

Encyclopedia Home Page

Uniqueness type

A unique type guarantees that an object is used in a single-threaded way, without duplicating references to it. It also allows the destruction of variables. Uniqueness type can also be used to integrate with imperitive programming languages. Uniqueness types are implimented in Clean and Mercury. Uniqueness types were invented on a theoretical basis by Dana Harrington in her master thesis.

See also

Linear type
Linear logic

External link

The paper in which uniqueness types were first proposed

Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.

Copyright © 2005 Par Web Solutions All Rights reserved.
| Privacy

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Uniqueness type".