RT @philipthrift: Sized Types for low-level Quantum Metaprogramming Matthew Amy [https://t.co/anMyHaudxT] https://t.co/j7rgYlKYzH : "metaQ…
1,342 followers
494 followers
Sized Types for low-level Quantum Metaprogramming Matthew Amy [https://t.co/anMyHaudxT] https://t.co/j7rgYlKYzH : "metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families, ... supports subtyping over registe
651 followers
#RC2019 is happening today! Be sure to check out Alex' talk!
651 followers
Alex De Vos from @ELISUGent will present our work on the Birkhoff connection between classical reversible and quantum computing at the #reversiblecomputing 2019 conference in Lausanne. https://t.co/EzE3rMY2b7