The Collection of
Computer Science Bibliographies

State in Functional Programming: An Annotated Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:131Last update:August 26, 1997
Number of online publications:6Supported:no
Most recent reference:August 1993

Information on the Bibliography

Authors:
Paul Hudak <hudak-paul @ cs . yale . edu> (email mangled to prevent spamming)
Dan Rabin <rabin-dan @ cs . yale . edu> (email mangled to prevent spamming)

Computer Science Department
Yale University
P.O. Box 208285
51 Prospect Street
New Haven, CT 06520-8285
USA
Abstract:
The call for contributions to this bibliography asked of "...papers dealing with the basic issue of 'how to add state to a functional language' (this would include things such as linear type ststems; monadic, continuations-based, or stream-based ideas; typing of references; I/O; etc.)". We have taken a flexible approach to defining "functional languages": we want to enable users of this bibliography to study not only the addition of state constructs to pure functional languages such as Haskell and Miranda (which ostensibly lack them), but also the formal rationalization of similar languages, such as Scheme and Standard ML, which already include such constructs. We definitely exclude the vast classical literature on state in "conventional" programming languages. We also exclude the vast literature on optimization techniques (most of which are based on abstract interpretation) for improving the performance of state-manipulating functional programs. The rough dividing line is the use of the lambda-calculus as a tool in language definition.
Author Comments:
Many of the entires in the biliography habe been contributed by researchers in the field; The rest are from our own collections. Not all contributions were received with annotations: the second editor has attempted to fill some of the gaps as permitted either by his own familiarity with the work or by his willingness to adapt the authors' own published abstract.
Please send corrections, additions, and comments.

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(58), article(25), techreport(16), misc(11), phdthesis(10), incollection(6), book(2), unpublished(2), proceedings(1)
Fields:
title(131), author(130), year(122), note(101), pages(78), booktitle(64), month(61), publisher(40), volume(29), number(26), journal(25), editor(19), institution(17), address(14), organization(12), type(11), school(10), series(4), annote(3), page(2), howpublished(1), isbn(1), key(1), status(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!