Uniqueness typing in theory and practice Export

@misc{citeulike:4895, abstract = {We present uniqueness typing as an extension of a familiar Curry style typing system for graph rewrite systems. This provides a method for combining purely functional programming with operations having side-effects, while preserving the functional nature of the language. We give a technical account as well as the underlying intuition. The system is shown to be effective in the sense that a uniqueness variant of a given conventional type can be determined automatically. Finally, this paper gives ...}, author = {Barendsen, E. and Smetsers, J.}, citeulike-article-id = {4895}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5837}, keywords = {clean, destructive-update, honu, uniqueness-types}, posted-at = {2004-12-23 17:37:22}, title = {Uniqueness typing in theory and practice}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5837}, year = {1994} }

TY - GEN ID - citeulike:4895 L3 - citeulike-article-id:4895 N2 - We present uniqueness typing as an extension of a familiar Curry style typing system for graph rewrite systems. This provides a method for combining purely functional programming with operations having side-effects, while preserving the functional nature of the language. We give a technical account as well as the underlying intuition. The system is shown to be effective in the sense that a uniqueness variant of a given conventional type can be determined automatically. Finally, this paper gives ... TI - Uniqueness typing in theory and practice KW - clean KW - destructive-update KW - honu KW - uniqueness-types AU - Barendsen, E AU - Smetsers, J PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5837 ER -