Author:
Xia Li-yao,Orchard Dominic,Wang Meng
Publisher
Springer International Publishing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reflecting on Random Generation;Proceedings of the ACM on Programming Languages;2023-08-30
2. Contract lenses: Reasoning about bidirectional programs via calculation;Journal of Functional Programming;2023