full record print

Runners for interleaving algebraic effects

author
statement of authorship
Niels F.W. Voorneveld
source
location of publication
Cham
publisher
year of publication
pages
p. 407-424
series
conference name, date
ICTAC 2022 : Theoretical Aspects of Computing : 19th International Colloquium, September 27-30, 2022
conference location
Tbilisi, Georgia
url
ISSN
0302-9743
ISBN
978-3-031-17714-9
notes
Bibliogr.: 30 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
algebraic effects
interleaving concurrency
stateful runners
trace semantics
program equivalence
Reserch Group
High-assurance software laboratory
Voorneveld, N. Runners for interleaving algebraic effects // Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings. Cham : Springer Nature, 2022. p. 407-424. (Lecture notes in computer science ; 13572). https://doi.org/10.1007/978-3-031-17715-6_26