Author:
Flanagan Cormac,Sabry Amr,Duba Bruce F.,Felleisen Matthias
Cited by
215 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The logical essence of call-by-name CPS translations;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Closure-Free Functional Programming in a Two-Level Type Theory;Proceedings of the ACM on Programming Languages;2024-08-15
3. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs;Proceedings of the ACM on Programming Languages;2024-08-15
4. A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata;Proceedings of the ACM on Programming Languages;2024-06-20
5. A Tensor Algebra Compiler for Sparse Differentiation;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02