@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 ; null ; Conference date: 01-01-1997 Through 01-01-1997",

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",

}