Author:
Bohannon Aaron,Pierce Benjamin C.,Vaughan Jeffrey A.
Cited by
81 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Univalent Double Categories;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Dependent Optics;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Hybrid Query and Instance Explanations and Repairs;Companion Proceedings of the ACM Web Conference 2023;2023-04-30
4. Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects;Proceedings of the ACM on Programming Languages;2023-04-06
5. Contract lenses: Reasoning about bidirectional programs via calculation;Journal of Functional Programming;2023