Author:
Altenkirch T.,Grattage J.
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13
2. The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation;Proceedings of the ACM on Programming Languages;2024-06-20
3. A linear linear lambda-calculus;Mathematical Structures in Computer Science;2024-05-31
4. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024
5. On the Hardness of Analyzing Quantum Programs Quantitatively;Lecture Notes in Computer Science;2024