Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads ---

Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- (1997)

Cached

Download Links

[128.36.16.1]

by Chih-ping Chen , Paul Hudak

Venue:	In Proc. Symp. POPL '97, ACM
Citations:	13 - 0 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads ---	user correction - Legacy Corrections
AUTHOR NAME	Chih-ping Chen	SVM HeaderParse 0.1
AUTHOR AFFIL	Yale University; Department of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	New Haven, CT 06520	SVM HeaderParse 0.1
AUTHOR NAME	Paul Hudak	SVM HeaderParse 0.1
AUTHOR AFFIL	Yale University; Department of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	New Haven, CT 06520	SVM HeaderParse 0.1
ABSTRACT	A methodology is described whereby a linear ADT may be rigorously encapsulated within a state monad. A CPS-like translation from the original ADT axioms into monadic ones is also described and proven correct, so that reasoning can be accomplished at the monadic level without exposing the state. The ADT axioms are suitably constrained by a linear type system to make this translation possible. This constraint also allows the state to be "updated in place," a notion made precise via a graph-rewrite operational semantics. 1 Introduction In recent years, numerous proposals for I/O, destructive updates to data structures, mutable variables, nondeterminism, and concurrency have been put forth, all using monads to structure programs in such a way that details of the computation are effectively hidden and encapsulated [18, 20]. One of the most important uses of monads is in dealing with state, resulting in a style of programming referred to appropriately by Peyton Jones and Wadler as imperativ...	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	In Proc. Symp. POPL '97, ACM	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	54--66	INFERENCE
CITATIONS	21 found	ParsCit 1.0