Author:
Hudak Paul,Bloss Adrienne
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FP²: Fully in-Place Functional Programming;Proceedings of the ACM on Programming Languages;2023-08-30
2. Reference counting with frame limited reuse;Proceedings of the ACM on Programming Languages;2022-08-29
3. Aggregate Update Problem for Multi-clocked Dataflow Languages;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02
4. In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays;33rd Symposium on Implementation and Application of Functional Languages;2021-09
5. Automatic proofs of memory deallocation for a Whiley-to-C Compiler;Formal Methods in System Design;2021-08-16