Re: SIDE-EFFECT-FREE/STATELESS Functions

[larus%paris.Berkeley.EDU@ginger.Berkeley.EDU (James Larus)]

Dave Gifford and his graduate students at MIT have been working on
"effects" systems for language that parallel type systems, but
describe the effect of functions on the state of objects.  Their ideas
can probably clarify the debate and help make the side-effect-free
declarations less ad-hoc.  There are two Tech Reports and a few papers
that I am aware of:

@TECHREPORT{gifford:fx87,
    AUTHOR = "David K. Gifford and Pierre Jouvelot and John M. Lucassen and
Mark A. Sheldon",
    TITLE = "{FX-87} Reference Manual",
    INSTITUTION = MITLCS,
    YEAR = 1987,
    NUMBER = "MIT/LCS/TR-407",
    MONTH = Sep}

@TECHREPORT{lucassen:types,
    AUTHOR = "John M. Lucassen",
    TITLE = "Types and Effects: Towards the Integration of Functional
and Imperative Programming",
    INSTITUTION = MITLCS,
    YEAR = 1987,
    NUMBER = "MIT/LCS/TR-408",
    MONTH = Aug}

@INPROCEEDINGS{gifford:integrating,
    AUTHOR = "David K. Gifford and John M. Lucassen",
    TITLE = "Integrating Functional and Imperative Programming",
    PAGES = "28-38",
    BOOKTITLE = LISPC86,
    YEAR = 1986,
    MONTH = Aug}

@INPROCEEDINGS{lucassen:polymorphic,
    AUTHOR = "John M. Lucassen and David K. Gifford",
    TITLE = "Polymorphic Effect Systems",
    BOOKTITLE = POPL15,
    YEAR = 1988,
    PAGES = "47-57",
    ADDRESS = "San Diego, California",
    MONTH = Jan}

/Jim