A Typed Functional Calculus With State

Arend Rensink

A Typed Functional Calculus With State

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

41 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 language	Undefined
Title of host publication	Special Issues in Object-Oriented Programming
Editors	M. Müllhäuser
Place of Publication	Heidelberg, Germany
Publisher	D.punkt Verlag
Pages	558-561
Number of pages	4
ISBN (Print)	3-920993-67-5
Publication status	Published - 1997
Event	Special Issues in Object-Oriented Progr - Duration: 1 Jan 1997 → 1 Jan 1997

Publication series

Name
Publisher	dpunkt.verlag

Other

Other	Special Issues in Object-Oriented Progr
Period	1/01/97 → 1/01/97

Keywords

IR-66672
EWI-8313

Access to Document

Cite this

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

}

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

Y2 - 1 January 1997 through 1 January 1997

ER -