Author:
Hallenberg Niels,Elsman Martin,Tofte Mads
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Double-Ended Bit-Stealing for Algebraic Data Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. Associated Effects: Flexible Abstractions for Effectful Programming;Proceedings of the ACM on Programming Languages;2024-06-20
3. Explicit Effects and Effect Constraints in ReML;Proceedings of the ACM on Programming Languages;2024-01-05
4. Parallelism in a Region Inference Context;Proceedings of the ACM on Programming Languages;2023-06-06
5. Garbage-Collection Safety for Region-Based Type-Polymorphic Programs;Proceedings of the ACM on Programming Languages;2023-06-06