Author:
Benton Nick,Kennedy Andrew,Lindley Sam,Russo Claudio
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs;Proceedings of the ACM on Programming Languages;2024-08-15
2. Compositional optimizations for CertiCoq;Proceedings of the ACM on Programming Languages;2021-08-22
3. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
4. Compiling without continuations;ACM SIGPLAN Notices;2017-09-14
5. Compiling without continuations;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14