Author:
Dinsdale-Young Thomas,Birkedal Lars,Gardner Philippa,Parkinson Matthew,Yang Hongseok
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic;Proceedings of the ACM on Programming Languages;2024-01-05
2. When Concurrency Matters: Behaviour-Oriented Concurrency;Proceedings of the ACM on Programming Languages;2023-10-16
3. Simple Reference Immutability for System F
<:;Proceedings of the ACM on Programming Languages;2023-10-16
4. Leaf: Modularity for Temporary Sharing in Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16
5. Wait-Free Weak Reference Counting;Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management;2023-06-06