Author:
Accattoli Beniamino,Dal Lago Ugo
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hashing Modulo Context-Sensitive -Equivalence;Proceedings of the ACM on Programming Languages;2024-06-20
2. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
3. Towards a Verified Cost Model for Call-by-Push-Value;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29
4. Multi types and reasonable space;Proceedings of the ACM on Programming Languages;2022-08-29
5. A simple and efficient implementation of strong call by need by an abstract machine;Proceedings of the ACM on Programming Languages;2022-08-29