Introducing polymonads:
Nataliya Guts, Michael Hicks, Nikhil Swamy, Daan Leijen, Gavin Bierman, Polymonads, Extended version of POPL’13 submission [pdf, pdf]
Michael Hicks, Gavin Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy, Polymonadic Programming, EPTCS 153 79-99 (2014) [arXiv:1406.2060, doi:10.4204/EPTCS.153.7]
On quantum circuit certification with the quantum programming language SQIR:
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks, A verified optimizer for Quantum circuits, Proceedings of the ACM on Programming Languages 5 Issue POPL 37 (2021) 1–29 [doi:10.1145/3434318]
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks, Proving Quantum Programs Correct, in 12th International Conference on Interactive Theorem Proving (ITP 2021), Leibniz International Proceedings in Informatics (LIPIcs) 193 (2021) [arXiv:2010.01240]
Last revised on December 12, 2023 at 16:49:36. See the history of this page for a list of all contributions to it.