Names, Equations, Relations: Practical Ways to Reason about new (1996)
Cached
Download Links
- [www.brics.dk]
- [www.brics.dk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Ian Stark
,
Ian Stark
| Citations: | 6 - 0 self |
BibTeX
@MISC{Stark96names,equations,,
author = {Ian Stark and Ian Stark},
title = {Names, Equations, Relations: Practical Ways to Reason about new},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The nu-calculus of Pitts and Stark is a typed lambda-calculus, extended with state in the form of dynamically-generated names. These names can be created locally, passed around, and compared with one another. Through the interaction between names and functions, the language can capture notions of scope, visibility and sharing. Originally motivated by the study of references in Standard ML, the nu-calculus has connections to other kinds of local declaration, and to the mobile processes of the -calculus.
