Linearity and Laziness Export

@inproceedings{citeulike:2783318, abstract = {A criticism often levelled at functional languages is that they do not cope elegantly or efficiently with problems involving changes of state. In a recent paper [26], Wadler has proposed a new approach to these problems. His proposal involves the use of a type system based on the linear logic of Girard [7]. This allows the programmer to specify the \"natural\" imperative operations without at the same time sacrificing the crucial property of referential transparency. In this paper we investigate...}, author = {Wakeling, David and Runciman, Colin}, booktitle = {Functional Programming Languages and Computer Architecture}, citeulike-article-id = {2783318}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3438}, keywords = {lazy-evaluation, linear-types}, pages = {215--240}, posted-at = {2008-05-10 22:06:20}, priority = {2}, title = {Linearity and Laziness}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3438}, year = {1991} }

TY - CONF ID - citeulike:2783318 L3 - citeulike-article-id:2783318 N2 - A criticism often levelled at functional languages is that they do not cope elegantly or efficiently with problems involving changes of state. In a recent paper [26], Wadler has proposed a new approach to these problems. His proposal involves the use of a type system based on the linear logic of Girard [7]. This allows the programmer to specify the "natural" imperative operations without at the same time sacrificing the crucial property of referential transparency. In this paper we investigate... EP - 240 TI - Linearity and Laziness T2 - Functional Programming Languages and Computer Architecture SP - 215 KW - lazy-evaluation KW - linear-types AU - Wakeling, David AU - Runciman, Colin PY - 1991/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3438 ER -