Adoption and Focus: Practical Linear Types for Imperative Programming Export

@inproceedings{citeulike:139332, abstract = {A type system with linearity is useful for checking software protocols and resource management at compile time. Linearity provides powerful reasoning about state changes, but at the price of restrictions on aliasing. The hard division between linear and nonlinear types forces the programmer to make a trade-off between checking a protocol on an object and aliasing the object. Most onerous is the restriction that any type with a linear component must itself be linear. Because of this, checking a...}, author = {F\"ahndrich, M. and Deline, R.}, booktitle = {Proceedings of the SIGPLAN'02 Conference on Programming Language Design and Implementation}, citeulike-article-id = {139332}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7183}, keywords = {linear-types, linearity, types}, month = {Jun}, posted-at = {2005-03-24 18:41:36}, priority = {3}, title = {Adoption and Focus: Practical Linear Types for Imperative Programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7183}, year = {2002} }

TY - CONF ID - citeulike:139332 L3 - citeulike-article-id:139332 N2 - A type system with linearity is useful for checking software protocols and resource management at compile time. Linearity provides powerful reasoning about state changes, but at the price of restrictions on aliasing. The hard division between linear and nonlinear types forces the programmer to make a trade-off between checking a protocol on an object and aliasing the object. Most onerous is the restriction that any type with a linear component must itself be linear. Because of this, checking a... TI - Adoption and Focus: Practical Linear Types for Imperative Programming T2 - Proceedings of the SIGPLAN'02 Conference on Programming Language Design and Implementation KW - linear-types KW - linearity KW - types AU - F\"ahndrich, M AU - Deline, R PY - 2002/# Jun// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7183 ER -