Concrete Domains
View/ Open
Date
1993Author
Kahn, Gilles
Plotkin, Gordon
Metadata
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.