Lazy Functional State Threads Export

@inproceedings{citeulike:4889, abstract = {Some algorithms make critical internal use of updatable state, even though their external specification is purely functional. Based on earlier work on monads, we present a way of securely encapsulating stateful computations that manipulate multiple, named, mutable objects, in the context of a non-strict, purely-functional language. The security of the encapsulation is assured by the type system, using parametricity. Intriguingly, this parametricity requires the provision of a (single) constant with a rank-2 polymorphic type.}, address = {New York, NY, USA}, author = {Launchbury, John and Peyton Jones, Simon L.}, booktitle = {PLDI 1994}, citeulike-article-id = {4889}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=178246}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/178243.178246}, citeulike-linkout-2 = {http://www.dcs.gla.ac.uk/fp/papers/lazy-functional-state-threads.ps.Z}, doi = {10.1145/178243.178246}, isbn = {0-89791-662-X}, keywords = {concurrency, haskell, monads, mutability, non-strict-evaluation, parametric-polymorphism, rank-2-polymorphism}, location = {Orlando, Florida, United States}, month = {June}, number = {6}, pages = {24--35}, posted-at = {2009-11-03 17:28:53}, priority = {2}, publisher = {ACM}, title = {Lazy Functional State Threads}, url = {http://dx.doi.org/10.1145/178243.178246}, volume = {29}, year = {1994} }

TY - CONF ID - citeulike:4889 L3 - citeulike-article-id:4889 N2 - Some algorithms make critical internal use of updatable state, even though their external specification is purely functional. Based on earlier work on monads, we present a way of securely encapsulating stateful computations that manipulate multiple, named, mutable objects, in the context of a non-strict, purely-functional language. The security of the encapsulation is assured by the type system, using parametricity. Intriguingly, this parametricity requires the provision of a (single) constant with a rank-2 polymorphic type. CY - Orlando, Florida, United States IS - 6 SN - 0-89791-662-X AD - New York, NY, USA EP - 35 TI - Lazy Functional State Threads PB - ACM VL - 29 T2 - PLDI 1994 SP - 24 KW - concurrency KW - haskell KW - monads KW - mutability KW - non-strict-evaluation KW - parametric-polymorphism KW - rank-2-polymorphism AU - Launchbury, John AU - Peyton Jones, Simon PY - 1994/06// UR - http://dx.doi.org/10.1145/178243.178246 ER -