Author:
Ahmed Amal,Blume Matthias
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Closure Conversion in Little Pieces;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. Two Parametricities Versus Three Universal Types;ACM Transactions on Programming Languages and Systems;2022-09-21
3. Securing Interruptible Enclaved Execution on Small Microprocessors;ACM Transactions on Programming Languages and Systems;2021-09-30
4. Robustly Safe Compilation, an Efficient Form of Secure Compilation;ACM Transactions on Programming Languages and Systems;2021-04
5. Strictly capturing non-strict closures;Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2021-01-17