A Logical View of Effects

by Sungwoo Park , Robert Harper

User correction supplied by mph

Datum	Value	Source
TITLE	A Logical View of Effects	user correction
AUTHOR NAME	Sungwoo Park	user correction
AUTHOR NAME	Robert Harper	user correction
ABSTRACT	Despite their invaluable contribution to the programming language community, monads as a foundation for the study of effects have three problems: they make it difficult to combine effects; they enforce sequentialization of computations by the syntax; they prohibit effect-free evaluations from invoking e#ectful computations. Building on the judgmental formulation and the possible worlds interpretation of modal logic, we propose a logical analysis of effects based upon the view monads are not identified with effects. Our analysis leads to a language called # # which distinguishes between control e#ects and world e#ects, enforces sequentialization of computations only by the semantics, and logically explains the invocation of computations from evaluations. # # also serves as a unified framework for studying Haskell and ML, which have traditionally been studied separately.	user correction
CITATIONS	43 found	ParsCit 1.0