Author:
Bohannon Aaron,Pierce Benjamin C.,Vaughan Jeffrey A.
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07
2. Univalent Double Categories;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. S<sub>YNTH</sub>BX: An Example-guided Synthesizer for Bidirectional Programs on Relations;Journal of Information Processing;2024
4. Synthesis of Bidirectional Programs from Examples with Functional Dependencies;Journal of Information Processing;2024
5. Dependent Optics;Electronic Proceedings in Theoretical Computer Science;2023-08-07