State in Haskell

State in Haskell (1996)

by John Launchbury Jl , John Launchbury , Simon L Peyton Jones

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	State in Haskell	user correction - Legacy Corrections
AUTHOR NAME	John Launchbury Jl	user correction - Legacy Corrections
AUTHOR NAME	John Launchbury	user correction - Legacy Corrections
AUTHOR AFFIL	Orgeon Graduate Institute	user correction - Legacy Corrections
AUTHOR ADDR	PO Box 91000, Portland, OR 97291-1000	user correction - Legacy Corrections
AUTHOR NAME	Simon L Peyton Jones	user correction - Legacy Corrections
AUTHOR AFFIL	University of Glasgow	user correction - Legacy Corrections
AUTHOR ADDR	G12 8QQ, Scotland	user correction - Legacy Corrections
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. The same framework is also used to handle input/output operations (state changes on the external world) and calls to C.	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	295--308	INFERENCE
CITATIONS	37 found	ParsCit 1.0