Journal article icon

Journal article

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

Abstract:

Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its return value. A semantics for type-and-effect systems involves a parameterised family of monads whose size is exponential in the number of effects. We derive such refined semantics from a single monad over a category, a choice of algebraic operations for this monad, and a suitable factorisation system over this category....

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's Version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2018.11.012

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Balliol
ORCID:
0000-0002-2071-0929
McDermott, D More by this author
Balliol College, Oxford More from this funder
European Research Council More from this funder
Isaac Newton Trust More from this funder
Publisher:
Elsevier Publisher's website
Journal:
Electronic Notes in Theoretical Computer Science Journal website
Volume:
341
Pages:
239-260
Publication date:
2018-12-11
DOI:
EISSN:
1571-0661
ISSN:
1571-0661
Pubs id:
pubs:847143
URN:
uri:604d60e1-db77-410e-99ba-5eef92efce8c
UUID:
uuid:604d60e1-db77-410e-99ba-5eef92efce8c
Local pid:
pubs:847143

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP