A Typed Functional Calculus With State

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    25 Downloads (Pure)

    Abstract

    We extend the simple typed \lambda-calculus with statements. A statement (which can also be thought of as a method or transition) is an abstraction similar to function abstraction: it can be instantiated by providing it with a source state, whereafter it yields a pair of values consisting of an output value and a target state. We obtain a strongly normalising typed calculus for state-based functional programming.
    Original languageUndefined
    Title of host publicationSpecial Issues in Object-Oriented Programming
    EditorsM. Müllhäuser
    Place of PublicationHeidelberg, Germany
    PublisherD.punkt Verlag
    Pages558-561
    Number of pages4
    ISBN (Print)3-920993-67-5
    Publication statusPublished - 1997
    EventSpecial Issues in Object-Oriented Progr -
    Duration: 1 Jan 19971 Jan 1997

    Publication series

    Name
    Publisherdpunkt.verlag

    Other

    OtherSpecial Issues in Object-Oriented Progr
    Period1/01/971/01/97

    Keywords

    • IR-66672
    • EWI-8313

    Cite this