A Typed Functional Calculus With State

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

    20 Downloads (Pure)


    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
    Number of pages4
    ISBN (Print)3-920993-67-5
    Publication statusPublished - 1997

    Publication series



    • IR-66672
    • EWI-8313

    Cite this

    Rensink, A. (1997). A Typed Functional Calculus With State. In M. Müllhäuser (Ed.), Special Issues in Object-Oriented Programming (pp. 558-561). Heidelberg, Germany: D.punkt Verlag.