Author:
Altenkirch Thorsten,Green Alexander S.
Publisher
Cambridge University Press
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Type-safe Quantum Programming in Idris;Programming Languages and Systems;2023
2. Quantum information effects;Proceedings of the ACM on Programming Languages;2022-01-12
3. Quantum Software Tools Overview;Quantum Software Engineering;2022
4. Quantum Hoare Type Theory: Extended Abstract;Electronic Proceedings in Theoretical Computer Science;2021-09-06
5. The linearity Monad;ACM SIGPLAN Notices;2017-10-31