Delimiting the Scope of Effects

Delimiting the Scope of Effects (1993)

Cached

Download Links

[ftp.research.bell-labs.com]

Other Repositories/Bibliography

DBLP

by Jon G. Riecke

Venue:	In Proceedings of the Conference on Functional Programming Languages and Computer Architecture
Citations:	10 - 1 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Delimiting the Scope of Effects	user correction - Legacy Corrections
AUTHOR NAME	Jon G. Riecke	SVM HeaderParse 0.1
AUTHOR AFFIL	AT&T Bell Laboratories	SVM HeaderParse 0.2
AUTHOR ADDR	600 Mountain Avenue; Murray Hill, NJ 07974 USA	SVM HeaderParse 0.1
ABSTRACT	Program fragments in functional languages may be observationally congruent in a language without effects (continuations, state, exceptions) but not in an extension with effects. We give a generic way to preserve pure functional congruences by means of an effects delimiter. The effects delimiter is defined semantically using the retraction techniques of [14], but can also be given an operational semantics. We show that the effects delimiter restores observational congruences between purely functional pieces of code, thus achieving a modular separation between the purely functional language and its extensions. 1 Introduction Functional programming is a powerful paradigm, but it has long been recognized that purely functional programs are often inefficient and cumbersome. Many modern functional languages, e.g., SML [9], build in control and state features that strictly fall outside the functional paradigm. For example, SML of New Jersey includes a "call-with-current-continuation" opera...	user correction - Legacy Corrections
YEAR	1993	INFERENCE
VENUE	In Proceedings of the Conference on Functional Programming Languages and Computer Architecture	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	146--155	INFERENCE
CITATIONS	19 found	ParsCit 1.0