Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Cited by
129 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Efficient CHAD;Proceedings of the ACM on Programming Languages;2024-01-05
2. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024
3. A General Fine-Grained Reduction Theory for Effect Handlers;Proceedings of the ACM on Programming Languages;2023-08-30
4. Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations;Proceedings of the ACM on Programming Languages;2023-01-09
5. Normalization by evaluation for modal dependent type theory;Journal of Functional Programming;2023