Author:
Song Yahui,Foo Darius,Chin Wei-Ngan
Publisher
Springer Nature Switzerland
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Specification and Verification for Unrestricted Algebraic Effects and Handling;Proceedings of the ACM on Programming Languages;2024-08-15
2. Abstracting Effect Systems for Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15
3. ProveNFix: Temporal Property-Guided Program Repair;Proceedings of the ACM on Software Engineering;2024-07-12
4. On Model-Checking Higher-Order Effectful Programs;Proceedings of the ACM on Programming Languages;2024-01-05