Research

Canonical models for computational effects


Reference:

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.

Abstract

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.

Details

Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsPower, J.
DOI10.1007/978-3-540-24727-2_31
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5454

Export

Actions (login required)

View Item