Linearity and Laziness

by: David Wakeling, Colin Runciman

(1991), pp. 215-240.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

zednenem

Find related articles with these CiteULike tags

lazy-evaluation, linear-types

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

@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}, keywords = {lazy-evaluation, linear-types}, pages = {215--240}, posted-at = {2008-05-10 22:06:20}, priority = {2}, title = {Linearity and Laziness}, url = {http://citeseer.ist.psu.edu/wakeling90linearity.html}, year = {1991} }

RIS record

TY - CONF ID - citeulike:2783318 L3 - citeulike-article-id:2783318 TI - Linearity and Laziness T2 - Functional Programming Languages and Computer Architecture SP - 215 EP - 240 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... KW - lazy-evaluation KW - linear-types AU - Wakeling, David AU - Runciman, Colin PY - 1991/// UR - http://citeseer.ist.psu.edu/wakeling90linearity.html ER -

RIS BibTeX