Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022
2. Functional Representations of SSA;SSA-based Compiler Design;2021-06-12
3. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
4. Structured asynchrony with algebraic effects;Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development;2017-09-03
5. Type directed compilation of row-typed algebraic effects;ACM SIGPLAN Notices;2017-05-11