1,342 followers
RT @philipthrift: Sized Types for low-level Quantum Metaprogramming Matthew Amy [https://t.co/anMyHaudxT] https://t.co/j7rgYlKYzH : "metaQ…
RT @philipthrift: Sized Types for low-level Quantum Metaprogramming Matthew Amy [https://t.co/anMyHaudxT] https://t.co/j7rgYlKYzH : "metaQ…
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