A Functional Theory of Local Names (1994)
Cached
Download Links
- [www.ubka.uni-karlsruhe.de]
- [lampwww.epfl.ch]
- [diwww.epfl.ch]
- [ftp.ira.uka.de]
- DBLP
Other Repositories/Bibliography
| Citations: | 27 - 2 self |
BibTeX
@MISC{Odersky94afunctional,
author = {Martin Odersky},
title = {A Functional Theory of Local Names},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
## is an extension of the #-calculus with a binding construct for local names. The extension has properties analogous to classical #-calculus and preserves all observational equivalences of #. It is useful as a basis for modeling wide-spectrum languages that build on a functional core. 1 Introduction Recentyears have given us a good deal of theoretical research on the interaction of imperative programming #exempli#ed byvariable assignment# and functional programming #exempli#ed by higher order functions# #3,6,19,21, 24#. The common method of all these works is to propose a #-calculus extended with imperative features and to carry out an exploration of the operational semantics of the new calculus. Based on our own experience in devising such an extended #- calculus #13#, the presentwork singles out the name, whose only observational property is its identity, as an essential componentofany such extension. We present a simple extension of the pure #-calculus with names; we showby ex...
