FP - State

Correctness of Monadic State: An Imperative Call-by-Need Calculus

Zena M. Ariola and Amr Sabry (inproceedings, 1998)

Mutable Abstract Datatypes or How to Have Your State and Munge It Too

Paul Hudak (techreport, 1993)

State in Functional Languages - An Annotated Bibliography Version 0.0

Paul Hudak and Dan Rabin (eds.) (techreport, 1993)

Encapsulated Effects

Richard Kieburtz and John Launchbury (article, 1995)

Towards Algebras of Encapsulated Effects

Richard B. Kieburtz and John Launchbury (article, 1996)

Lazy Imperative Programming

Launchbury, John (inproceedings, 1993)

Lazy Functional State Threads

Launchbury, J. and Peyton Jones, S. (inproceedings, 1994)

State in Haskell

Launchbury, J. and Peyton Jones, S. (inproceedings, 1995)

Monadic State: Axiomatization and Type Safety

John Launchbury and Amr Sabry (inproceedings, 1997)

Imperative Functional Programming

Peyton Jones, S.~L. and Wadler, P. (inproceedings, 1993)

Assignments for Applicative Languages

Vipin Swarup and Uday S.~Reddy and Evan Ireland (inproceedings, 1991)