A Typed Functional Calculus With State

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

    19 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

    Publication series

    Name
    Publisherdpunkt.verlag

    Keywords

    • 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.
    Rensink, Arend. / A Typed Functional Calculus With State. Special Issues in Object-Oriented Programming. editor / M. Müllhäuser. Heidelberg, Germany : D.punkt Verlag, 1997. pp. 558-561
    @inbook{6dff77f7530b4058ada6f683d13b8f8f,
    title = "A Typed Functional Calculus With State",
    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.",
    keywords = "IR-66672, EWI-8313",
    author = "Arend Rensink",
    note = "Extended abstract; presented at the Workshop on Proof Theory for Concurrent Object-Oriented Programming, July 1996, Linz",
    year = "1997",
    language = "Undefined",
    isbn = "3-920993-67-5",
    publisher = "D.punkt Verlag",
    pages = "558--561",
    editor = "M. M{\"u}llh{\"a}user",
    booktitle = "Special Issues in Object-Oriented Programming",

    }

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

    A Typed Functional Calculus With State. / Rensink, Arend.

    Special Issues in Object-Oriented Programming. ed. / M. Müllhäuser. Heidelberg, Germany : D.punkt Verlag, 1997. p. 558-561.

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

    TY - CHAP

    T1 - A Typed Functional Calculus With State

    AU - Rensink, Arend

    N1 - Extended abstract; presented at the Workshop on Proof Theory for Concurrent Object-Oriented Programming, July 1996, Linz

    PY - 1997

    Y1 - 1997

    N2 - 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.

    AB - 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.

    KW - IR-66672

    KW - EWI-8313

    M3 - Chapter

    SN - 3-920993-67-5

    SP - 558

    EP - 561

    BT - Special Issues in Object-Oriented Programming

    A2 - Müllhäuser, M.

    PB - D.punkt Verlag

    CY - Heidelberg, Germany

    ER -

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