Author of the publication

An Introduction to Quantum Programming in Quipper.

, , , , and . RC, volume 7948 of Lecture Notes in Computer Science, page 110-124. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Programming the quantum future., , , , and . Commun. ACM, 58 (8): 52-61 (2015)Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits., , and . Quantum, (2020)New high-order filter structures using only single-ended-input OTAs and grounded capacitors., , , and . IEEE Trans. Circuits Syst. II Express Briefs, 51-II (9): 458-463 (2004)Generators and Relations for the Group On(Z1/2)., , and . QPL, volume 343 of EPTCS, page 210-264. (2021)A continuous-time hierarchical field programmable analogue array for rapid prototyping and hierarchical approach to analogue systems design., and . SBCCI, page 248-253. ACM, (2005)Optimal ancilla-free Clifford+T approximation of z-rotations., and . Quantum Inf. Comput., 16 (11&12): 901-953 (2016)Optimal ancilla-free Clifford+V approximation of z-rotations.. Quantum Inf. Comput., 15 (11&12): 932-950 (2015)A parallel-connected active filter for the reduction of supply current distortion., , , and . IEEE Trans. Ind. Electron., 47 (5): 1108-1117 (2000)On the Lambek embedding and the category of product-preserving presheaves., , , and . CoRR, (2022)A biset-enriched categorical model for Proto-Quipper with dynamic lifting., , , and . QPL, volume 394 of EPTCS, page 302-342. (2022)