| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6874820 | Journal of Logical and Algebraic Methods in Programming | 2018 | 22 Pages |
Abstract
We discuss the design space, provide several formalisations of different semantics and discuss their properties, and connect them to case studies showing how our proposed constructs can be useful. We also report on an on-going implementation of our proposed constructs in Encore.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Elias Castegren, Joel Wallin, Tobias Wrigstad,