Author:
Altenkirch Thorsten,Green Alexander S.
Publisher
Cambridge University Press
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How to Bake a Quantum Π;Proceedings of the ACM on Programming Languages;2024-08-15
2. Q# as a Quantum Algorithmic Language;Electronic Proceedings in Theoretical Computer Science;2023-11-16
3. Type-safe Quantum Programming in Idris;Programming Languages and Systems;2023
4. Quantum Software Components and Platforms: Overview and Quality Assessment;ACM Computing Surveys;2022-12-23
5. Quantum information effects;Proceedings of the ACM on Programming Languages;2022-01-12