Author:
Liskov Barbara,Zilles Stephen
Cited by
146 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Approaches to Conflict-free Replicated Data Types;ACM Computing Surveys;2024-09-09
2. Nominal Types for Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
3. Graphical and Textual Models Embedded in a Constructor-Driven Transformation;2024 IEEE 18th International Conference on Semantic Computing (ICSC);2024-02-05
4. 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
5. Collection Skeletons: Declarative Abstractions for Data Collections;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29