|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/203
|
| Title: | Concrete Domains |
| Authors: | Kahn, Gilles
Plotkin, Gordon |
| Issue Date: | 1993 |
| Abstract: | This paper introduces the theory of a particular kind of computation domains
called concrete domains. The purpose of this theory is to find a satisfactory
framework for the notions of coroutine computation and sequentiality of evaluation. |
| Keywords: | Laboratory for Foundations of Computer Science |
| URI: | http://hdl.handle.net/1842/203 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
