Author:
Marlow Simon,Newton Ryan,Peyton Jones Simon
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallelism in a Region Inference Context;Proceedings of the ACM on Programming Languages;2023-06-06
2. PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification;Formal Methods and Software Engineering;2022
3. Reproducible Containers;Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems;2020-03-09
4. Concurrency-aware object-oriented programming with roles;Proceedings of the ACM on Programming Languages;2018-10-24
5. Sequential and Parallel Improvements in a Concurrent Functional Programming Language;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03