Author:
Arias Danel,Sanz Borja,de la Puerta José Gaviria,Pastor Iker,Bringas Pablo García
Publisher
Springer International Publishing
Reference50 articles.
1. Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17, 348–375 (1978). https://doi.org/10.1016/0022-0000(78)90014-4
2. Freedman, M.H., Kitaev, A., Wang, Z.: Simulation of topological field theories by quantum computers. Commun. Math. Phys. 227, 587–603 (2002). https://doi.org/10.1007/s002200200635
3. Altenkirch, T., Grattage, J.: QML: Quantum data and control (2005)
4. LIQUi〉Github. https://stationq.github.io/Liquid/. Accessed 24 June 2021
5. Quipper Homepage. https://www.mathstat.dal.ca/~selinger/quipper/. Accessed 24 June 2021
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum Services Engineering: development, quality, testing, and security (Q-SERV Project);Anais do XXVII Congresso Ibero-Americano em Engenharia de Software (CIbSE 2024);2024-05-06