Author:
Fahndrich Manuel,Xia Songtao
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20
2. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
3. A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model;Proceedings of the ACM on Programming Languages;2022-10-31
4. Wildcards need witness protection;Proceedings of the ACM on Programming Languages;2022-10-31
5. Safe object initialization, abstractly;Proceedings of the 12th ACM SIGPLAN International Symposium on Scala;2021-10-17