Effect systems revisited—control-flow algebra and semantics
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Description
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)
Conference Name
Journal ISSN
0302-9743
1611-3349
1611-3349
Volume Title
9560
Publisher
Springer International Publishing