Implementation of functional languages with state

Imperative and functional programming are two styles which have long been viewed as incompatible. In particular, the functional property of referential transparency could not be maintained in the face of destructive update, as found in assignment statements. Recent work, however, has suggested that the two may be integrated in a formal system which has both imperative features and referential transparency. These systems impose certain constraints on imperative features that allow the effects to be masked out, making them appear purely functional.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Springer, Jonathan Charles

Contributors dc:contributor

• Kamin, Samuel N.

• Computer Science

Statement dc:rights

• Copyright 1996 Springer, Jonathan Charles

Language dc:language

eng

Identifier

9780591088922
AAI9702672
(UMI)AAI9702672

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/21893