Author:
Amtoft Torben,Nielson Flemming,Nielson Hanne Riis
Publisher
PUBLISHED BY IMPERIAL COLLEGE PRESS AND DISTRIBUTED BY WORLD SCIENTIFIC PUBLISHING CO.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Error Localization for Sequential Effect Systems;Static Analysis;2023
2. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022
3. Dynamic Software Updates and Context Adaptation for Distributed Active Objects;Principled Software Development;2018
4. Effect-driven QuickChecking of compilers;Proceedings of the ACM on Programming Languages;2017-08-29
5. Effect-dependent transformations for concurrent programs;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05