Author:
Vardoulakis Dimitrios,Shivers Olin
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
3. Analyzing binding extent in 3CPS;Proceedings of the ACM on Programming Languages;2022-08-29
4. Reachability types: tracking aliasing and separation in higher-order functional programs;Proceedings of the ACM on Programming Languages;2021-10-20
5. 3CPS: The Design of an Environment-Focussed Intermediate Representation;33rd Symposium on Implementation and Application of Functional Languages;2021-09