Canonical models for computational effects
Power, J., 2004. Canonical models for computational effects. Berlin: Springer, pp. 438-452. (Lecture Notes in Comput. Sci.)
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
Given a signature of basic operations for a computational effect such as side-effects, interactive input/output, or exceptions, we give a unified construction that determines equations that should hold between derived operations of the same arity. We then show how to construct a canonical model for the signature, together with the first-order fragment of the computational λ-calculus, subject to the equations, done at the level of generality of an arbitrary computational effect. We prove a universality theorem that characterises the canonical model, and we recall, from a previous paper, how to extend such models to the full computational λ-calculus. Our leading example is that of side-effects, with occasional reference to interactive input/output, exceptions, and nondeterminism.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Departments||Faculty of Science > Computer Science|
Actions (login required)