A Typed Functional Calculus With State


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

open access
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.
Item Type:Book Section
Additional information:Extended abstract; presented at the Workshop on Proof Theory for Concurrent Object-Oriented Programming, July 1996, Linz
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66672
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page