Lazy functional state threads

DMCA

Lazy functional state threads (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by John Launchbury , Simon L Peyton Jones

Venue:	In the ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:	122 - 11 self

BibTeX

@INPROCEEDINGS{Launchbury94lazyfunctional,
    author = {John Launchbury and Simon L Peyton Jones},
    title = {Lazy functional state threads},
    booktitle = {In the ACM SIGPLAN Conference on Programming Language Design and Implementation},
    year = {1994},
    pages = {24--35}
}

OpenURL

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

Keyphrases

lazy functional state thread updatable state stateful computation purely-functional language external specification mutable object rank-2 polymorphic type type system critical internal use

DMCA