Effect systems revisited—control-flow algebra and semantics

Effect systems revisited—control-flow algebra and semantics

Accepted version

Repository URI

https://www.repository.cam.ac.uk/handle/1810/279117

Repository DOI

https://doi.org/10.17863/CAM.26497

Files

Accepted version (486.61 KB)

Type

Conference Object

Authors

Mycroft, Alan

https://orcid.org/0000-0001-7013-8572

Orchard, D

Petricek, T

Keywords

46 Information and Computing Sciences

Journal Title

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal ISSN

0302-9743
1611-3349

Volume Title

9560

Publisher

Springer International Publishing

Publisher DOI

https://doi.org/10.1007/978-3-319-27810-0_1

Rights

http://www.rioxx.net/licenses/all-rights-reserved

Collections

Cambridge University Research Outputs